Universal profinite domains (1987)

by Carl A Gunter
Venue:Information and Computation