1. Aceto, L., Hennessy, M.: Termination, deadlock and divergence. J. ACM 39, 147 – 187 (1992).
2. Ackermann, W.: Solvable cases of the decision problem. Amsterdam: North Holland 1956.
3. Alefeld, G., Herzberger, J.: Einführung in der Intervallrechnung. Bibl. Inst., Mannheim 1974.
4. Apostolatos, N.: Eine Allgemeine Betrachtung von Numerischen Algorithmen. Beiträge zur Numerischen Mathematik 6, 11 – 25 (1977).
5. Apostolatos, N.: An introduction to theory of algorithms. Book (Greek), Athens 1978.