Programming Methodology - Hackl, C. E. (Lecture Notes in Computer Science Ser.)