A Complete Axiomatic System for Proving Deductions about Recursive Programs

David Harel, Amir Pnueli, Jonathan Stavi

Browse the full STOC paper archive.