Mathematical foundations of programming - Beckman, Frank S (Addison-Wesley, 1980)