Title: Lecture Notes in Computer Science: Program Construction
Subjects: Computer programming