Goré RP, Nguyên PT. CardS4: modal theorem proving on Java smart cards. JTIT. 2002;10(4):68-80. doi:10.26636/jtit.2002.4.144