1. Ait-Kaci, H.: “A lattice theoretic approach to computation based on a calculus of partially ordered type structures”, Ph.D. thesis, University of Pennsylvania, 1984.
2. Anderson, T.L., Claghorn, B.B.: “ADE: Mapping between the External and Conceptual Levels”, In: Information Systems: Theoretical and Formal Aspects, Sernadas, A., Bubenko, J., Olive, A., (Eds.), North Holland, 1985.
3. Anderson, T.L., Ecklund, E.F., Maier, D.: “Proteus Bibliography: Representation and Interactive Display in Databases”, In: ACMSIGMOD Record, Vol. 15, No. 3, September 1986.
4. Barbic, F., Rabitti, F.: “The Type Concept in Office Document Retrieval”, In: Proc. 11th International Conference on VLDB, Pirotte, A., Vassiliou, Y., (Eds.), Stockholm, Sweden, August 1985.
5. Barbic, F., Carli, M., Pernici, B., Bracchi, G.: “A Tool for Form Definition in Office Information Systems Specification”, In: New Applications of Data Bases, Gardarin, G., Gelenbe, E., ( Eds. ), Academic Press, 1984.