Semantic Domains. Chapter (1990)

by C Gunter, D S Scott
Venue:in Handbook of Theoretical Computer Science (North-Holland