Turakainen, P. (1972). On the minimization of linear space automata. Annales Fennici Mathematici, (506). https://doi.org/10.5186/aasfm.1972.506