Title: Mathematics of Program Construction
Subjects: Logic design, Computer science, Software engineering, Computer programming, Congresses, Mathematics