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