Using information systems to solve recursive domain equations (1984)

by K G Larsen, G Winskel
Venue:In Lecture Notes in Computer Science, volume 173 (Semantics of data types