Băluţă, Dorel D (1995) A formal specification in Z of the relational data model, version 2, of E.F. Codd. Masters thesis, Concordia University.