Aceto, L., and A. Ingólfsdóttir. “Characteristic Formulae: From Automata to Logic”. BRICS Report Series, vol. 14, no. 2, Jan. 2007, doi:10.7146/brics.v14i2.21925.