Faron Moller: Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997. Electronic Notes in Theoretical Computer Science 9, Elsevier 1997