Title: The design of well-structured and correct programs
First published: 1978
Subjects: Electronic digital computers, Pascal (Computer program language), Programming