Deductive transformation geometry - Burn, R P (1975)