Applicative information systems (1983)

by M Coppo, M Dezani, G Longo
Venue:CAAP’83, Trees in Algebra and Programming