Final data types and their specification (1983)

by S Kamin
Venue:ACM Transactions on Programming Languages and Systems