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