Buchmann, J. , Kaiser, M.. "Computer Proven Correctness of the Rabin Public-Key Scheme". World Academy of Science, Engineering and Technology, Open Science Index 3, International Journal of Computer and Information Engineering, (2007), 1(3), 625 - 630.