Susanne Graf Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. 75-90 1999 12 Distributed Computing 2-3 http://link.springer.de/link/service/journals/00446/bibs/9012002/90120075.htm db/journals/dc/dc12.html#Graf99