Memory abstractions for speculative multithreading (2008)

by C J F Pickett, C Verbrugge, A Kielstra