Abstract Errors for Abstract Data Types (1979)

by J Goguen
Venue:IFIP Working Conference on Formal Description Programming Concepts, P. Neuhold (Ed