Gergely, T. and Szőts, M. 1978. On the incompleteness of proving partial correctness. Acta Cybernetica. 4, 1 (Jan. 1978), 45-57.