Turakainen, Paavo. 1972. “On the Minimization of Linear Space Automata”. Annales Fennici Mathematici, no. 506 (January). https://doi.org/10.5186/aasfm.1972.506.