MATHEMATICAL FOUNDATIONS OF PROGRAMMING - BECKMAN,FRANK S (AW READING,MA, 1980)