"Das Transitionsmonoid bei der Parallelkomposition von Endlichen Automaten."

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