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), pp. 68–80. doi:10.26636/jtit.2002.4.144.