Eric C. R. Hehner Andrew J. Malton Termination Conventions and Comparative Semantics. 1-14 1987 25 Acta Inf. 1 db/journals/acta/acta25.html#HehnerM87