A Java reference model of transacted memory for smart cards / E. Poll, P. Hartel, E. de Jong
A Java reference model of transacted memory for smart cards