1. Hitoshi Aida, Joseph Goguen, and Josè Meseguer. Compiling concurrent rewriting onto the Rewrite Rule Machine. Technical Report SRI-CSL90–03, Computer Science Lab, SRI International, February 1990. To appear in Proceedings, International Workshop on Conditional and Typed Rewriting Systems, Montreal, Canada, 1990.
2. Hitoshi Aida, Sany Leinwand, and Josè Meseguer. Architectural design of the Rewrite Rule Machine ensemble. Technical Report to appear, Computer Science Lab, SRI International, 1990. Also, to appear in Proceedings, International Workshop on VLSI for Artificial Intelligence and Neural Nets, edited by Will Moore and A. Delgado-Frias, Oxford, 1990.
3. Rod Burstall and Joseph Goguen. Algebras, theories and freeness: An introduction for computer scientists. In Martin Wirsing and Gunther Schmidt, editors, Theoretical Foundations of Programming Methodology, pages 329–350. Reidel, 1982. Proceedings, 1981 Marktoberdorf NATO Summer School, NATO Advanced Study Institute Series, Volume C91.
4. Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Principles of OBJ2. In Brian Reid, editor, Proceedings, Twelfth ACM Symposium on Principles of Programming Languages, pages 5266. Association for Computing Machinery, 1985.
5. Kokichi Futatsugi, Joseph Goguen, José Meseguer, and Koji Okada. Parameterized programming in OBJ2. In Robert Balzer, editor, Proceedings, Ninth International Conference on Software Engineering, pages 51–60. IEEE Computer Society, March 1987.