Text this: KLEENE THEOREM FOR HIGHER-DIMENSIONAL AUTOMATA.