CheckFence : checking consistency of concurrent data types on relaxed memory models - Burckhardt, Sebastian; Alur, Rajeev; Martin, Milo M. K. (Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2007)