Caires, L, Ferreira C, Ravara A.  2010.  A simple proof system for lock-free concurrency. International Workshop on Proof Systems for Program Logics (PSPL).