Structured debugging using a domain specific languageB.M. Leavenworth2006Software - Practice and ExperiencePaper
Incremental program testing in a very high level languageB.M. Leavenworth1976ACM Annual Conference 1976Conference paper
Transition functions: A method for semantic extensionsB.M. Leavenworth1971International Symposium on Extensible Languages 1971Conference paper