Using Information Systems to Solve Recursive Domain Equations (1991)

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