- Robert H. Halstead Jr., Takayasu Ito, editors, Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Volume 748 of Lecture Notes in Computer Science, Springer, 1993.