Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 - Blum, Manuel (Lecture notes in computer science, 1993)