Abstract Errors for Abstract Data Types (1977)

by J A Goguen
Venue:Proceedings of the IFIP Working Conference on_ Formal Basis of Programming Concepts 2