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

by Joseph A Goguen, James Thatcher, Eric Wagner
Venue:Current Trends in Programming Methodology IV