P. H. Hartel and E. K. de Jong, ``Prototyping a smart card architecture in a lazy functional language'', Dept. of Comp. Sys, Univ. of Amsterdam, Technical report CS-94-08, May 1994.
E. K. de Jong Frz and J. N. E. Bos, ``An application tool kit for smart cards: Security as you like it'', Smart Card 1994, Day one: Market overview of Leisure, finance and security, Lowndes Exhibition Organisers, Peterborough, England, pages 76-81, London, England, Mar 1994.