Németh Zsolt: Definition of a parallel execution model with abstract state machines. In: Acta cybernetica, (15) 3. pp. 417-455. (2002)