"Zwei-Zähler-Automaten mit gekoppelten Bewegungen."

Burchard von Braunmühl (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics