1. J. Calmet, J.A. Campbell (Eds), Proceedings of AISMC-1, LNCS 737, Springer-Verlag, Berlin (1993)
2. J. Calmet, J.A. Campbell (Eds), Proceedings of AISMC-2, LNCS 958, Springer-Verlag, Berlin (1995)
3. J. Calmet, J.A. Campbell, J. Pfalzgraf (Eds), Proceedings of AISMC-3, LNCS 1138, Springer-Verlag, Berlin (1996)
4. P. McCorduck, Machines who Think, Freeman, San Francisco (1979)
5. H.G. Kahrimanian, Analytical Differentiation by a Digital Computer. M.S. thesis, Temple University, Philadelphia (1953)