Bondía, J.; Roa, P. Una forma canónica para autómatas finitos. Bol. Cent. Calc. Univ. Complut. 2015, N.º 27, 1-18.