@InProceedings{Beckert00,
  author        = {Bernhard Beckert},
  title         = {A Dynamic Logic for Java Card},
  booktitle     = {Proceedings, 2nd ECOOP Workshop on Formal Techniques for
                   Java Programs, Cannes, France},
  pages         = {111--119},
  year          = {2000},                            
}