Formalization of Properties of Recursively Defined Functions

Zohar Manna, Amir Pnueli

Browse the full STOC paper archive.