G.: The Greatest Fixed Points Approach to Data Types (1980)

by M A Arbib, E Manes
Venue:In proceedings of Third Workshop Meeting on Categorical and Algebraic Methods in Computer Science and System Theory