Mathematical Theory of Domains,'' Cambridge Tracts (1994)

by V Stoltenberg-Hansen, I Lindstrom, E R Griffor
Venue:in Theoretical Computer Science