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