A mechanism for exception handling and its verification rules (1982)

by N Cocco, S Dulli
Venue:J. Comput. Lang