Studies in mechanical verification of mathematical proofs door M.P.J. Ruys