Final algebra semantics and data type extension (1979)

by M Wand
Venue:J. Comp. Syst. Sci