Schwartzbach, M. I. and Schmidt, E. M. (1990) “Types and automata”, DAIMI Report Series, 19(316). doi: 10.7146/dpb.v19i316.6706.