Final data types and their specification (1983)

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