A modular verifiable exception handling mechanism (1985)

by S Yemini, D M Berry
Venue:ACM Trans. Program. Lang. Syst