-C. Boucher: Lecons sur la theorie des automates mathematiques, Springer-Verlag 1971, ursprünglich Lecture Notes in Operations Research and Mathematical Systems