Semantic domains (1990)

by C A Gunter, D S Scott
Venue:In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics