Michal Grabowski On the Relative Incompleteness of Logics for Total Correctness. 118-127 1985 conf/lop/1985 Logic of Programs db/conf/lop/lop1985.html#Grabowski85