1. Burstall , R.M. 1974 Program proving as hand simulation with a little induction IFIP Congress 74
2. Lar: A logic of algorithmic reasoning;Kroger;Acta Informatica,1977
3. Pnueli , A. 1977 The temporal semantics of concurrent programs 18th Annual Symposium on Foundations of Computer Science
4. Lamport , L. 1980 “Sometimes” is sometimes “Not Never”
5. Design and synthesis of synchronization skeletons using branching-time temporal logic;Clarke;Logic of Programs,1981