-R.H. Halstead Jr./T. Ito (Eds.): Parallel Symbolic COmputing: Languages, Systems, and Applications, Proceedings 1992, Springer-Verlag 1993