Goré, Rajeev Prabhakar, and Phuong Thê Nguyên. 2002. “CardS4: Modal Theorem Proving on Java Smart Cards”. Journal of Telecommunications and Information Technology 10 (4): 68-80. https://doi.org/10.26636/jtit.2002.4.144.