S.: A precise yet efficient memory model for C (2008)

by E Cohen, M Moskal, W Schulte, Tobies