Conference paper
Incremental program testing in a very high level language
B.M. Leavenworth
ACM Annual Conference 1976
Paper
A data abstraction approach to database modelling
Related
B.M. Leavenworth
Software - Practice and Experience
B.M. Leavenworth
ACM SIGPLAN Notices
Conference paper
Transition functions: A method for semantic extensions
B.M. Leavenworth
International Symposium on Extensible Languages 1971