Algorithms and computation third international symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992 ; proceedings (Springer, 1992)