Teaching math more effectively, through the design of calculational proofs (1994)

by David Gries, Fred B Schneider