1. Verified Software Units for Simple DFA Modules and Objects in C;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
2. Verified Software Units;Programming Languages and Systems;2021
3. The early history of Smalltalk;History of programming languages---II;1996-01
4. On the inevitable intertwining of specification and implementation;Communications of the ACM;1982-07
5. MPACT;ACM SIGDA Newsletter;1975-03