L. Csirmaz, “On the completeness of proving partial correctness”, Acta Cybern, vol. 5, no. 2, pp. 181-190, Jan. 1981.