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

by J A Goguen, J W Thatcher, E Wagner
Venue:Research Center