The Allegory of E-Relations in Constructive Type Theory. - Carlos Gonzalía (RelMiCS, 2000)

Towards a Formalisation of Relational Database Theory in Constructive Type Theory. - Carlos Gonzalía (RelMiCS, 2003)

Relations in Dependent Type Theory. - Carlos Gonzalía (2006)

Automating Refinement Checking in Probabilistic System Design. - Carlos Gonzalía; Annabelle McIver (ICFEM, 2007)

Proofs and Refutations for Probabilistic Refinement. - A. K. McIver; Carroll C. Morgan; Carlos Gonzalía (FM, 2008)

Using probabilistic Kleene algebra pKA for protocol verification. - A. K. McIver; Carlos Gonzalía; Ernie Cohen; Carroll C. Morgan (J. Log. Algebraic Methods Program., 2008)