Bernhard Steffen, Didier Caucal: First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996. Electronic Notes in Theoretical Computer Science 5, Elsevier 1997