Effectively given domains (1977)

by M Smyth
Venue:Theoretical Computer Science