GORÉ, Rajeev Prabhakar; NGUYÊN, Phuong Thê. CardS4: modal theorem proving on Java smart cards. Journal of Telecommunications and Information Technology, Warsaw, Poland, v. 10, n. 4, p. 68–80, 2002. DOI: 10.26636/jtit.2002.4.144. Disponível em: https://jtit.pl/jtit/article/view/144. Acesso em: 13 jun. 2026.