1. Badia, A., to be published.
2. Barendregt, H. P., “The A-Calculus: Its Syntax and Semantics,” North-Holland, Amsterdam, New York, 1984.
3. Barwise, J. and Cooper, R., “Generalized quantifiers and natural language,” Linguistic and Philosophy, 4, 1981, pp. 159–219.
4. Codd, E. F., “Relational model of data for large shared data banks,” Communications of the ACM, 13, 1970, pp. 377–387.
5. Codd, E. F., “Further normalizations of the relational model,” in “Data Base Systems,” R. Rustin, Ed., Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 33–64.