Backtracking in Recursive Computations. - Nissim Francez; Boris Klebansky; Amir Pnueli (Acta Informatica, 1977)