Algebraic specification of datatypes: a synthetic approach (1981)

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