Peter Widmayer Francisco Triguero Ruiz Rafael Morales Bueno Matthew Hennessy Stephan Eidenbenz Ricardo Conejo Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings ICALP Lecture Notes in Computer Science 2380 Springer 2002 3-540-43864-5 db/conf/icalp/icalp2002.html