Author: IFIP TC1 International Conference on Theoretical Computer Science (3rd 2004 Toulouse, France)