Automata, Languages and Programming: 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Luis Caires , Guiseppe F. Italiano , Luis Monteiro