Ésik, Z. and Németh, Z. L. (2002) “Higher Dimensional Automata”, BRICS Report Series, 9(44). doi: 10.7146/brics.v9i44.21759.