Title: Mathematics of Software Construction
Subjects: Software engineering, Mathematics, Computer programming, Computer science