TITLE : From term rewriting systems to distributed programs specifications AUTHOR(S) : Bellia M., Dameri E., Degano P., Levi G., Martelli M. TYPE : Other YEAR : 1980 CODE : 434566 *** DO NOT EDIT THIS FILE ***