1. L. V. Ahlfors. Complex Analysis, McGraw-Hill, New York, 1953.
2. J. Arndt, C. Haenel. jr Unleashed, Springer-Verlag, Berlin, 2001.
3. H. Aslaksen. SIGSAM Bull 30, n2,12 (1996).
4. M. Beeson, F. Wiedijk in J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge (eds.). Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Springer-Verlag, Berlin, 2002.
5. H. Behnke, F. Sommer. Theorie der analytischen Funktionen einer komplexen Veranderlichen, Springer-Verlag,Berlin, 1962.