Meloul, Joseph (1976) Proofs of equivalence and equivalence of proofs. Masters thesis, Concordia University.