Propositional Logics of Programs: New Directions.

Rohit Parikh

Browse the full FCT paper archive.