Specifying system requirements for memory consistency models (1993)

by K Gharachorloo, S V Adve, A Gupta, J L Hennessy, M D Hill