S. K. Abdali, G. W. Cherry, and Neil Soi#er. An object oriented approach to algebraic system
design. In Proceedings of the ACM Symposium on Symbolic and Algebraic Computation, pages
24--30, July 1986.
 Habib Abdulrab and JeanPierre P’ecuchet. Solving word equations. In Claude Kirchner,
editor, Unification, pages 353--375. Academic Press, New York, 1990.
 Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of
Computer Programs. MIT Press, Cambridge, Massachusetts, second edition, 1996.
 Yaser AbuMostafa. Machines that learn from hints. Scientific American, 272(4):64--69, April
 Leonard M. Adleman and Kenneth Manders. Reductions that lie. In 20th Annual Symposium
on the Foundations of Computer Science, pages 397--410, San Juan, Puerto Rico, October
 Alok Aggarwal, Leonidas J. Guibas, James Saxe, and Peter W. Shor. A linear time algorithm
for computing the Voronoi diagram of a convex polygon. In Proceedings of the Annual ACM
Symposium on the Theory of Computing, volume 19, pages 39--45, New York City, May 1987.
 Gul Agha and Carl Hewitt. Concurrent programming using actors: Exploiting largescale par
allelism. In A. H. Bond and L. Gasser, editors, Readings in Distributed Artificial Intelligence,
pages 398--407. Morgan Kaufmann, San Mateo, California, 1988.
 Alfred V. Aho, John E. Hopcroft, and Je#rey D. Ullman. Time and tape complexity of