Formulations of special relativity