The independence of the halting problem and the emptiness problem in connected environments - Graw, Bernd; Waack, Stephan 1954- (Institut für Mathematik <Berlin, Ost>: Preprint, 1981)