Varsha Awhad Charles Wallace A Unified Formal Specification and Analysis of the New Java Memory Models. 166-185 2003 conf/asm/2003 Abstract State Machines http://link.springer.de/link/service/series/0558/bibs/2589/25890166.htm db/conf/asm/asm2003.html#AwhadW03