Effectively given spaces (1984)

by T Kamimura, A Tang
Venue:Theoretical Computer Science