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

by Joseph Goguen, James Thatcher, Eric Wagner
Venue:RC 6487, IBM T.J. Watson Research