Shmuel Katz Zohar Manna A Closer Look at Termination Acta Inf. 5 1975 333-352 db/journals/acta/acta5.html#KatzM75