Kaylash Chaudhary and  Ansgar Fehnker,  Modeling and Verification for the Micropayment Protocol Netpay.   journal   = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology.
    December 2012, vol. 72(12). 1718 - 1726
    [viewed 09 May 2021]. Available from: https://publications.waset.org/pdf/5912.