Algebraic Specification of Data Types: A Synthetic Approach (1981)

by D Lehmann, M Smyth
Venue:Theory of Computing Systems