Principles of computer programming: a mathematical approach - Mills, Harlan D., et al (Allyn and Bacon, 1987)