1. Ph. A. Bernstein and E. Newcomer. Principles of Transaction Processing. Morgan Kaufman, San Francisco, 1997.
2. M. J. Butler, P. H. Hartel, E. K. de Jong, and M. Longley. Applying formal methods to the design of smart card software. Declarative Systems & Software Engineering Technical Reports DSSE-TR-97-8, University of Southampton, 1997.
3. E. K. de Jong and J. Bos. Arrangements for storing different versions of a set of data in separate memory areas and method for updating a set of data in a memory. Dutch Patent Application, 2000.
4. Lect Notes Comput Sci;D. Donsez,1998
5. P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, and B. Walters. Questions and answers about ten formal methods. In S. Gnesi and D. Latella, editors, 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Vol II, pages 179–203, Trento, Italy, Jul 1999. ERCIM/CNR, Pisa, Italy.