A complete axiomatic system for proving deductions about recursive programs - Harel, David 1950-; Pnueli, Amir; Stavi, Jonathan (Mass. Inst. of Technology, Laboratory for Computer Science, 1978)