An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types (1978)

by J A Goguen, J W Thatcher, E G Wagner
Venue:Current Trends in Programming Methodology 4, Prentice-Hall