Semantic Domains, in "Handbook of Theoretical Computer Science (1990)

by C Gunter, D Scott