Ésik, Z.; Németh, Z. L. Higher Dimensional Automata. BRICS 2002, 9.