1. A discipline of programming;Dijkstra,1976
2. Predicate calculus and program semantics;Dijkstra,1990
3. An axiomatic basis for computer programming;Hoare;Communications of the ACM,1969
4. Model checking;Clarke,2000
5. Design and synthesis of synchronization skeletons using branching-time temporal logic;Clarke,1982