Title: A theory of program modules
First published: 1983