Title: Mathematics of software construction
Subjects: Mathematics, Computer programming, Computer science, Software engineering