Using information systems to solve recursive domain equations (1991)

by K G Larsen, G Winskel
Venue:Information and Computation