Title: Language design for reliable software
First published: 1977