H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors (1984)

by M Gogolla, K Drosten, U Lipeck, Ehrich
Venue:Theoretical Computer Science