Goré, R.P. and Nguyên, P.T. 2002. CardS4: modal theorem proving on Java smart cards. Journal of Telecommunications and Information Technology. 10, 4 (Dec. 2002), 68–80. DOI:https://doi.org/10.26636/jtit.2002.4.144.