How to Cook a Temporal Proof System for Your Pet Language.

Zohar Manna, Amir Pnueli

Browse the full POPL paper archive.