A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. - Pieter H. Hartel; Eduard de Jong (Java Card Workshop, 2000)

Transacted Memory for Smart Cards. - Pieter H. Hartel; Michael J. Butler; Eduard de Jong; Mark Longley (FME, 2001)

A Java Reference Model of Transacted Memory for Smart Cards. - Erik Poll; Pieter H. Hartel; Eduard de Jong (CARDIS, 2002)