T. Gergely and M. Szőts, “On the incompleteness of proving partial correctness”, Acta Cybern, vol. 4, no. 1, pp. 45-57, Jan. 1978.