P. Turakainen, “On the minimization of linear space automata”, Ann. Fenn. Math., no. 506, Jan. 1972.