Effectively given domains (1977)

by M B Smyth
Venue:Theoret. Comp. Sd