Title: Mathematics of Program Construction
Subjects: Computer programming, Computer science, mathematics