A convenient category of domains (2007)

by I Battenfeld, M Schröder, A Simpson
Venue:Electronic Notes in Theoretical Computer Science 172