Title: Biblio RTF Export
Author: Biblio 7.x

Cleaveland R.  1993.  An operational semantics of value passing. Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York.