Schwartzbach, Michael I., and Erik Meineche Schmidt. 1990. “Types and Automata”. DAIMI Report Series 19 (316). https://doi.org/10.7146/dpb.v19i316.6706.