Algebraic specification of data types (1981)

by D J Lehmann, M B Smith
Venue:Mathematical Systems Theory