Discrete Mathematics and Theoretical Computer Science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings - Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki ((Lecture Notes in Computer Science))