A Modular Verifiable Exception-Handling Mechanism (1985)

by S Yemini\ D M Berry
Venue:ACM Transaction on Programming Languages and Systems