1. Berghammer, R., Haeberer, A.M., Schmidt, G., and Veloso, P.A.S,. Comparing Two Different Approaches to Products in Abstract Relation Algebras, in Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, AMAST '93, Springer Verlag, 1993, 167–176.
2. Chin, L.H. and Tarski, A., Distributive and Modular Laws in the Arithmetic of Relation Algebras, in University of California Publications in Mathematics. University of California, 1951, 341–384.
3. Frias, M.F., Aguayo N.G. and Novak B., Development of Graph Algorithms with Fork Algebras, in Proceedings of the XIX Latinamerican Conference on Informatics, 1993, 529–554.
4. Frias, M.F., Baum, G.A., Haeberer, A.M. and Veloso, P.A.S., Fork Algebras are Representable, in Bulletin of the Section of Logic, University of Lódź, (24)2, 1995, pp.64–75.
5. Frias, M.F., Haeberer, A.M. and Veloso, P.A.S., A Finite Axiomatization for Fork Algebras, to appear in Journal of the IGPL, 1996.