Equations, models, and programs : a mathematical introduction to computer science - Myers, Thomas J., 1952- (Prentice Hall, 1988)