Domains for denotational semantics, Automata, Languages and Programming (1982)

by D S Scott