1. Parallel Program Design: A Foundation;Chandy,1988
2. Verifying lock-freedom using well-founded orders;Colvin,2007
3. Formal verification of an array-based nonblocking queue;Colvin,2005
4. A scalable lock-free stack algorithm and its verification;Colvin,2007
5. Proving linearizability via non-atomic refinement;Derrick,2007