Proof in mathematics : an introduction - Franklin, James (Quakers Hill Press, 1996)