Schwartzbach, M. I., and E. M. Schmidt. “Types and Automata”. DAIMI Report Series, vol. 19, no. 316, July 1990, doi:10.7146/dpb.v19i316.6706.