Conference paperTransition functions: A method for semantic extensionsB.M. LeavenworthInternational Symposium on Extensible Languages 1971
Conference paperIncremental program testing in a very high level languageB.M. LeavenworthACM Annual Conference 1976