1. Ambler, P., et al.: A Versatile System for Computer-Controlled Assembly. J. Art. Intelligence 6(1975)
2. Anderson, J.: The Architecture of Cognition. Harvard University Press 1983
3. Andrews, P.: An Introduction to Mathematical Type Theory: to Truth Through Proof. Academic Press 1986
4. Bakker, J. de: Mathematical Theory of Program Correctness. Prentice Hall 1980
5. Ballard, Brown: Computer Vision. Prentice Hall 1982