Axiomatic Approach to Total Correctness of Programs

Authors: Zohar Manna, Amir Pnueli - Acta Informatica 1973 cited by 99