Markus Kaiser and  Johannes Buchmann,  Formal Analysis of a Public-Key Algorithm.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    September 2007, vol. 9(9). 2761 - 2768
    [viewed 29 January 2022]. Available from: https://publications.waset.org/pdf/6288.