Universal Profinite Domains (1987)

by Carl A. Gunter
Venue:Information and Computation