Buchmann, J. , Kaiser, M. (2007). '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, 1(3), 625 - 630.