Goré, R. P.; Nguyên, P. T. CardS4: Modal Theorem Proving on Java Smart Cards. JTIT 2002, 10 (4), 68-80. https://doi.org/10.26636/jtit.2002.4.144.