Semantic domains, in (1990)

by C A Gunter, D S Scott
Venue:B, Formal Models and Semantics, Elsevier