1. Baum, G.A., Frias, M.F., Haeberer, A.M. and Martínez López, P.E., From Specifications to Programs: A Fork-algebraic Approach to Bridge the Gap, to appear in Proceedings of MFCS'96, Springer-Verlag, 1996.
2. Bird, R., An Introduction to the Theory of Lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F, pp. 3–42. Springer-Verlag, 1987.
3. Bird, R., A Calculus of Functions for Program Derivation, in Turner D., editor, Research Topics in Functional Programming, University of Texas at Austin Year of Programming Series, Addison-Wesley 287–308, 1990.
4. Bird, R. and de Moor, O. Relational Program Derivation and Context-free Language Recognition. In A.W. Roscoe, editor, A Classical Mind: Essays dedicated to C. A. R. Hoare. Prentice Hall, 1995.
5. 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.