BONDÍA, J.; ROA, P. Una forma canónica para autómatas finitos. Boletín del Centro de Cálculo de la Universidad Complutense, n. 27, p. 1–18, 10 sep.2015.