Schwartzbach, M. I.; Schmidt, E. M. Types and Automata. DPB 1990, 19.