Deductive transformations geometry. - Burn R P (1975)