Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Bakker, Jaco de ; Leeuwen, Jan van de Bakker, Jaco ; van Leeuwen, Jan
Berlin, Heidelberg: Springer Berlin Heidelberg 1980
Texto completo disponível