Zvi Schreiber. Verification of Value-Passing Systems. In S. Purushothaman, Amy E. Zwarico, editors, NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Workshops in Computing, pages 135-154, Springer, 1992.