Final algebra semantics and data type extensions (1979)

by M Wand
Venue:Journal of Computer and System Sciences