- Shaula Yemini, Daniel M. Berry:
A Modular Verifiable Exception-Handling Mechanism. ACM Trans. Program. Lang. Syst. 7(2): 214-243 (1985) - Pamela Zave:
A Distributed Alternative to Finite-State-Machine Specifications. ACM Trans. Program. Lang. Syst. 7(1): 10-36 (1985)