Domain theory. volume 3 (1994)

by Samson Abramsky, Achim Jung
Venue:of Handbook of Logic in Computer Science