Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 (Lecture Notes in Computer Science, 1974)