1. Recognizing safety and liveness;Alpera,1986
2. Proving boolean combinations of deterministic properties;Alpern,1987
3. Axioms for concurrent objects;Herlihy,1987
4. Compositional verification of distributed systems;Jonsson,1987
5. Fundamental Algorithms. The Art of Computer Programming, Vol. 1;Knuth,1973