K. Mani Chandy, Jayadev Misra: A nontrivial example of concurrent processing: Distributed simulation. COMPSAC 1978: 822-826