Semantic Domains, (1990)

by C Gunter, D Scott
Venue:Handbook of Theoretical Computer Science,