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