"Das Transitionsmonoid bei der Parallelkomposition von Endlichen Automaten."

Klaus Ecker (1972)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics