1. Aameri, B.: Extending RelAPS to First-Order Logic. MSc. Thesis, Brock University (2010)
2. Foundation of Computing Series;A. Asperti,1991
3. Berghammer, R., Hattensperger, C., Schmidt, G.: RALF:A Relation Algebraic Formula manipulation system and proof checker. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) Proc. 3rd Conference on Algebraic Methodology and Software Technology, Workshops in Computing, pp. 407–408. Springer, Heidelberg (1994)
4. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, Englewood Cliffs (1997)
5. Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)