The topology of program termination (1988)

by R Cartwright, A Demers
Venue:In Proceedings of the Third Symposium on Logic in Computers Science (LICS’88