Ewen Denney Thomas P. Jensen Correctness of Java Card Method Lookup via Logical Relations. 104-118 2000 conf/esop/2000 ESOP http://link.springer.de/link/service/series/0558/bibs/1782/17820104.htm db/conf/esop/esop2000.html#DenneyJ00