Proof of Termination within a Weak Logic of Programs

David C. Luckham Norihisa Suzuki Proof of Termination within a Weak Logic of Programs Acta Inf. 8 1977 21-36 db/journals/acta/acta8.html#LuckhamS77