Zohar Manna Mathematical Theory of Partial Correctness. 239-253 1971 5 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss5.html#Manna71