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

by J A Goguen, J W Thatcher, E G Wagner
Venue:Current Trends in Programming Methodology IV: Data Structuring