Domain theory (1994)

by A Jung, S Abramsky
Venue:Handbook of Logic in Computer Science, Vol. III