WASET
    Johannes Buchmann and  Markus Kaiser,  Computer Proven Correctness of the Rabin Public-Key Scheme.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    March 2007, vol. 3(3). 625 - 630
    [viewed 28 March 2024]. Available from: https://publications.waset.org/pdf/13059.