Kaiser, M. , Buchmann, J. (2007). 'Computer Verification in Cryptography'. World Academy of Science, Engineering and Technology, Open Science Index 12, International Journal of Computer and Information Engineering, 1(12), 4148 - 4153.