Exploiting linearisability in program logic (2005)

by M Parkinson, R Bornat