M. I. Schwartzbach and E. M. Schmidt, “Types and automata”, DPB, vol. 19, no. 316, Jul. 1990.