Author: Colloquium u ber Automatentheorie (3rd 1965 Hannover)