@InProceedings{BeckertMostowski03,
  author =       {Bernhard Beckert and Wojciech Mostowski},
  title  =       {A Program Logic for Handling {Java Card}'s Transaction 
                  Mechanism},
  booktitle =    {Proceedings, 
                  Fundamental Approaches to Software Engineering (FASE), 
                  Warsaw, Poland},
  pages =        {246--260},
  year =         {2003},
  series =       {LNCS 2621},
  publisher =    {Springer}
}