1. The Coq Development Team. The Coq Proof Assistant.,
http://coq.inria.fr/
2. Sun Microsystems. Java Card 2.2 Virtual Machine Specification (2002),
http://www.javasoft.com/products/javacard
3. Sun Microsystems. Java Card 2.2 Runtime Environment Specification (2002),
http://www.javasoft.com/products/javacard
4. Sun Microsystems. Java Card 2.2 Application Programming Interface (2002),
http://www.javasoft.com/products/javacard
5. Lecture Notes in Computer Science;Q.-H. Nguyen,2006