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