1. Hitoshi Aida, Joseph Goguen, and José Meseguer. Compiling concurrent rewriting onto the rewrite rule machine. In S. Kaplan and M. Okada, editors, Conditional and Typed Rewriting Systems, Montreal, Canada, June 1990, pages 320–332. Springer LNCS 516, 1991.
2. Hitoshi Aida, Sany Leinwand, and José Meseguer. Architectural design of the rewrite rule machine ensemble. To appear in J. Delgado-Frias and W.R. More, editors, Proc. Workshop on VLSI for Artificial Intelligence and Neural Networks, Oxford, September 1990; also, Tech. Report SRI-CSL-90-17, December 1990.
3. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
4. A. A. Faustini and R. Jagannathan. Indexical lucid. In R. Jagannathan, editor, Proceedings, 4th International Symposium on Lucid and Intensional Programming, pages 19–34. SRI International, 1991.
5. J.A. Goguen, S. Leinwand, J. Meseguer, and T. Winkler. The rewrite rule machine, 1988. Technical Report PRG-76, Oxford University, Programming Research Group, 1989.