1. Syntax and defining equations for an interrupt mechanism in process algebra;Baeten;Fundamenta Informatica,1986
2. G. Birtwistle, O.-J. Dahl, B. Myhrhaug, K. Nygaard, Simula Begin, 2nd ed., Studentliteratur, Lund, Sweden, 1979.
3. P. Bratley, B. Fox, L. Schrage, A Guide to Simulation, 2nd ed., Springer, New York, 1987.
4. G. Birtwistle, DEMOS—Discrete Event Modelling on Simula, Macmillan, New York, 1979.
5. J.A. Bergstra, J.W. Klop, The algebra of recursively defined processes and the algebra of regular processes, in: Proc. 11th ICALP, Springer LNCS 172, 1984, pp. 82–85.