Parallel symbolic computing languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings (Springer-Verlag, 1993)