Jung: Domain Theory (1994)

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