@book{5930,
	author = {Colloquium on Automata, Languages and Programming and Salomaa, Arto, ed.},
	title = {Automata, languages and programming},
	publisher = {Springer-Verlag},
	year = {1977},
	address = {Berlin}
}