Z. Ésik and Z. L. Németh, “Higher Dimensional Automata”, BRICS, vol. 9, no. 44, Nov. 2002.