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