Cristian Calude Michael J. Dinneen Vincent Vajnovszki Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings DMTCS Lecture Notes in Computer Science 2731 Springer 2003 3-540-40505-4 db/conf/dmtcs/dmtcs2003.html DMTCS