Principles of Computer Programming: A Mathematical Approach

Harlan D. Mills , Richard G. Hamlet , Victor R. Basili