An initial algebra approach to the speci correctness and implementation of abstract data types (1978)

by J Goguen, J Thatcher, E Wagner
Venue:in: R. Yeh (Ed.), Current Trends in Programming Methodology, IV, Prentice-Hall, Englewood Clis, NJ