Algebraic speci of data types: a synthetic approach (1981)

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