Csirmaz, L. 1981. On the completeness of proving partial correctness. Acta Cybernetica. 5, 2 (Jan. 1981), 181-190.