R. Berghammer, S. Bolus, A. Rusinowska, and H. C. De-swart, A relation-algebraic approach to simple games, European Journal of Operational Research, vol.210, issue.1, pp.68-80, 2011.
DOI : 10.1016/j.ejor.2010.09.006

URL : https://hal.archives-ouvertes.fr/hal-00574767

R. Berghammer, N. Danilenko, P. Höfner, and I. Stucke, Cardinality of relations with applications, Discrete Mathematics, vol.339, issue.12, pp.3089-3115, 2016.
DOI : 10.1016/j.disc.2016.06.019

R. Berghammer and S. Fischer, Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive???transitive closures, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.3, pp.341-358, 2015.
DOI : 10.1016/j.jlamp.2014.08.003

R. Berghammer, P. Höfner, and I. Stucke, Tool-Based Verification of a Relational Vertex Coloring Program, Kahl et al. [18], pp.275-292
DOI : 10.1007/978-3-319-24704-5_17

R. Berghammer, P. Höfner, and I. Stucke, Cardinality of relations and relational approximation algorithms, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.2, pp.269-286, 2016.
DOI : 10.1016/j.jlamp.2015.12.001

R. Berghammer and G. Struth, On Automated Program Construction and Verification, Mathematics of Program Construction, pp.22-41, 2010.
DOI : 10.1007/978-3-642-13321-3_4

R. Berghammer, I. Stucke, and M. Winter, Investigating and Computing Bipartitions with Algebraic Means, pp.257-274
DOI : 10.1007/978-3-319-24704-5_16

Y. Bertot, G. Gonthier, S. O. Biha, and I. Pasca, Canonical Big Operators, TPHOLs, pp.86-101, 2008.
DOI : 10.1007/3-540-44659-1_29

URL : https://hal.archives-ouvertes.fr/inria-00331193

P. Brunet, D. Pous, and I. Stucke, Cardinalities of Finite Relations in Coq, Interactive Theorem Proving, ITP 2016, Proceedings, pp.466-474, 2016.
DOI : 10.1090/coll/041

URL : https://hal.archives-ouvertes.fr/hal-01441262

N. Danilenko, Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings, Relational and Algebraic Methods in Computer Science, pp.130-145, 2012.
DOI : 10.1109/FOCS.2004.40

H. C. De-swart, R. Berghammer, and A. Rusinowska, Computational Social Choice Using Relation Algebra and RelView, Relations and Kleene Algebra in Computer Science, pp.13-28, 2009.
DOI : 10.1007/978-3-642-04639-1_2

URL : https://hal.archives-ouvertes.fr/halshs-00493008

N. Francez, Program Verification, 1992.

H. Furusawa, Algebraic Formalisations of Fuzzy Relations and Their Representation Theorems, 1998.

N. Galatos, P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007.

F. Garillot, G. Gonthier, A. Mahboubi, and L. Rideau, Packaging Mathematical Structures, TPHOL, pp.327-342, 2009.
DOI : 10.1007/978-3-540-68103-8_11

URL : https://hal.archives-ouvertes.fr/inria-00368403

D. Gries, The Science of Programming, 1987.
DOI : 10.1007/978-1-4612-5983-1

P. Höfner and G. Struth, On Automating the Calculus of Relations, International Joint Conference Automated Reasoning, pp.50-66, 2008.

Y. Kawahara, On the Cardinality of Relations, Relations and Kleene Algebra in Computer Science, pp.251-265, 2006.
DOI : 10.1007/11828563_17

D. Kozen, A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.366-390, 1994.
DOI : 10.1109/LICS.1991.151646

D. Pous, Relation Algebra and KAT in Coq. Website

D. Pous, Kleene Algebra with Tests and Coq Tools for while Programs, ITP, pp.180-196, 2013.
DOI : 10.1007/978-3-642-39634-2_15

URL : https://hal.archives-ouvertes.fr/hal-00785969

H. Rubin and J. E. Rubin, Equivalents of the Axiom of Choice, 1970.

G. Schmidt and T. Ströhlein, Relation algebras: Concept of points and representability, Discrete Mathematics, vol.54, issue.1, pp.83-92, 1985.
DOI : 10.1016/0012-365X(85)90064-0

URL : http://doi.org/10.1016/0012-365x(85)90064-0

G. Schmidt and T. Ströhlein, Relations and Graphs -Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, 1993.

A. Tarski, On the calculus of relations, The Journal of Symbolic Logic, vol.5, issue.03, pp.73-89, 1941.
DOI : 10.1007/BF01696781

A. Tarski and S. Givant, A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications, 1987.

V. Wei, A Lower Bound for the Stability Number of a Simple Graph. Bell Laboratories Technical Memorandum, pp.81-11217, 1981.