Pascal's triangle : reading, writing, and reasoning about programs - Decker, Rick (Wadsworth Pub. Co., 1992)