A unified formalization of four sharedmemory models (1993)

by S V Adve, M D Hill
Venue:IEEE Transactions on Parallel and Distributed Systems