Effectively given domains (1977)

by Michael Smyth
Venue:Theoretical Computer Science