@InProceedings{Beckert01,
  author =       {Bernhard Beckert},
  title =        {A Dynamic Logic for the Formal Verification of
		  {J}ava {C}ard Programs},
  booktitle =    {Java on Smart Cards: Programming and
		  Security. Revised Papers, Java Card 2000,
		  International Workshop, Cannes, France},
  editor =       {I. Attali and T. Jensen},
  pages =        {6--24},		  
  publisher =    {Springer},
  series =       {LNCS 2041},		  
  year =         {2001}	  
}