An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol, Charles Wallace, Guy Tremblay, Jose N. Amaral
Michigan Tech Publications