Exception and error sorts, coercion and overloading operators, Research Report (1978)

by J A Goguen
Venue:SRI International, Computer Science Lab