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