Calvin N. Mooers
Rockford Research, Inc., Cambridge, Massachusetts
Gödel numbers: a new approach to structured programming
ACM SIGPLAN Notices