A Unified Formal Specification and Analysis of the New Java Memory Models. - Varsha Awhad; Charles Wallace 001 (Abstract State Machines, 2003)