Deductive transformation geometry - Burn, R. P. (Cambridge, 1975)