Németh, Zsolt. 2002. “Definition of a Parallel Execution Model With Abstract State Machines”. Acta Cybernetica 15 (3), 417-55. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3588.