Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors (1986)

by G Bernot, M Bidoit, C Choppy
Venue:Theoretical Computer Science