Universal profinite domains (1985)

by C Gunter
Venue:Inform. and Comput