Mathematical Theory of Domains. Number 22 (1994)

by Viggo Stoltenberg-Hansen, Ingrid Linström, Edward R Griffor
Venue:in Cambridge Tracts in Theoretical Computer Science