Philippe Schnoebelen: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 98, Elsevier 2004