Pietro Cenciarelli Alexander Knapp Bernhard Reus Martin Wirsing An Event-Based Structural Operational Semantics of Multi-Threaded Java. 157-200 http://link.springer.de/link/service/series/0558/bibs/1523/15230157.htm 1999 conf/java/1999formal Formal Syntax and Semantics of Java db/conf/java/formal99.html#CenciarelliKRW99