Abstract errors for abstract data types (1978)

by Joseph A Goguen
Venue:Formal Description of Programming Concepts