SMS: Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, eds.