Domain Theory (1994)

by Samson Abramsky, Achim Jung
Venue:HANDBOOK OF LOGIC IN COMPUTER SCIENCE