Termination of algorithms (1968)

by Z Manna