Title: A study in the foundations of programming methodology
First published: 1986