Gerd Neu­ge­bauer. Reach­abi­li­ty Ana­ly­sis for the Ex­ten­sion Pro­ce­du­re – A To­po­lo­gi­cal Re­sult. In LOPSTR’93, April 1993.