Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200