A Modular Verifiable Exception-Handling Mechanism (1985)

by S Yemini, D M Berry
Venue:ACM Transactions on Programming Languages and Systems