1. M. Abadi and L. Cardelli, “On subtyping and matching”. ECOOP'95 Proceedings 1995, pp 145–167.
2. M. Adiba, C. Collet, “Objets et bases de données le SGBD 02”. Edition Hermès, 1993.
3. R. M. Amadio and L. Cardelli, “Subtyping recursive types”. ACM Transactions on Programming Languages and Systems, 15(4), 1993, pp 575–631.
4. M. Atkinson, F. Bancilhon, D. Dewih, K.Dittrich, D. Maier, S. Zdonick, “The Object-Oriented Database System Manifesto”. DOOD'89 Proceedings, 1989, pp 25–42.
5. H. P. Barendregt, “The Lambda Calculus Its syntax and semantics” volume 103 of studies in Logic and The foundations of Mathematics. North-Holland, 1981.