Kripke relations and PCF (1995)

by P W O'Hearn, J G Riecke
Venue:Information and Computation