From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.

Pietro Cenciarelli Alexander Knapp Bernhard Reus Martin Wirsing From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. 75-90 1997 conf/amast/1997 AMAST db/conf/amast/amast97.html#CenciarelliKRW97