R. P. Goré and P. T. Nguyên, “CardS4: modal theorem proving on Java smart cards”, JTIT, vol. 10, no. 4, pp. 68–80, Dec. 2002, doi: 10.26636/jtit.2002.4.144.