A modular verifiable exception handling mechanism (1985)

by D M Berry
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS). ACM