The semantics of x86-CC multiprocessor machine code (2009)

by S Sarkar, P Sewell, F Z Nardelli, S Owens, T Ridge, T Braibant, M O Myreen, J Alglave
Venue:In Proc. of the 36th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages