Alan Stewart Maurice Clint Joaquim Gabarró Barrier synchronisation: Axiomatisation and relaxation. 36-50 2004 16 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-004-0028-7 db/journals/fac/fac16.html#StewartCG04