D.M.: A modular verifiable exception-handling mechanism (1985)

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