Herman Geuvers, Fairouz Kamareddine: Mathematics, Logic and Computation, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, July 4-5, 2003. Electronic Notes in Theoretical Computer Science 85, Elsevier 2003