1. G. A. Baum, M. F. Frias, A. M. Haeberer, and P. E. Martínez López. From Specifications to Programs: A Fork-algebraic Approach to Bridge the Gap. Document 731 HKO-4 of the IFIP W.G. 2.1, Hong Kong, January 1995.
2. L. H. Chin, A. Tarski. Distributive and Modular Laws in the Arithmetic of Relation Algebras. In University of California Publications in Mathematics. University of California, pages 341–384, 1951.
3. S. Cluet, C. Delobel. A general Framework for the Optimization of Object Oriented Queries. In Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, 1992.
4. R. Cole, G. Graefe. Optimization of Dynamic Query Evaluations Plans. In Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, 1994.
5. M. F. Frias, N. G. Aguayo. Natural Specifications vs. Abstract Specifications. A Relational Approach. In Proceedings of SOFSEM ‘94, Milovy, Czech Republic, November, pages 17–22, 1994.