Gilles Barthe Guillaume Dufay Line Jakubiec Bernard P. Serpette Simão Melo de Sousa A Formal Executable Semantics of the JavaCard Platform. 302-319 2001 conf/esop/2001 ESOP http://link.springer.de/link/service/series/0558/bibs/2028/20280302.htm db/conf/esop/esop2001.html#BartheDJSS01