Mathematical foundations of programming - Beckman, Frank S. (The Systems programming series, 1980)