Goré, R. P., & Nguyên, P. T. (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