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

by D J Lehmann, M B Smyth
Venue:Math. Systems Theory