Jean-Jacques Lévy Ernst W. Mayr John C. Mitchell Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France 1-4020-8140-5 IFIP TCS Kluwer 2004 db/conf/ifipTCS/ifipTCS2004.html