Abstract errors for abstract data types (1977)

by Joseph Goguen
Venue:Proceedings, First IFIP Working Conference on Formal Description of Programming Concepts