On the incompleteness of proving partial correctness - Gergely, Tamás; Szőts, Miklós (Acta Cybernetica, 1978)