Domain Theory (1994)

by S Abramsky, A Jung
Venue:In Handbook of Logic in Computer Science