PaperStructured debugging using a domain specific languageB.M. LeavenworthSoftware - Practice and Experience
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