Goré, Rajeev Prabhakar, and Phuong Thê Nguyên. “CardS4: Modal Theorem Proving on Java Smart Cards”. Journal of Telecommunications and Information Technology 10, no. 4 (December 30, 2002): 68–80. Accessed April 17, 2026. https://jtit.pl/jtit/article/view/144.