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