Domain Theory (1994)

by Samson Abramsky, Achim Jung