Powerdomains, powerstructures and fairness (1995)

by Yiannis N Moschovakis, Glen T Whitney
Venue:Computer Science Logic, number 933 in Lecture Notes in Computer Science