Vladimir Klebanov A JMM-Faithful Non-interference Calculus for Java. 101-111 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3409&spage=101 2004 conf/fidji/2004 FIDJI db/conf/fidji/fidji2004.html#Klebanov04