Z. Németh, “Definition of a parallel execution model with abstract state machines”, Acta Cybern, vol. 15, no. 3, pp. 417-455, Jan. 2002.