@inproceedings{SchmittEtAl2011,
  author       = {Peter H. Schmitt and Mattias Ulbrich and Benjamin Wei{\ss}},
  title        = {Dynamic Frames in {Java} Dynamic Logic},
  editor       = {Bernhard Beckert and Claude March{\'e}},
  booktitle    = {Revised Selected Papers, International Conference on Formal 
                  Verification of Object-Oriented Software (FoVeOOS 2010)},
  volume       = {6528},
  series       = {LNCS},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {2011}
}
@techreport{SchmittEtAl2010,
  author       = {Peter H. Schmitt and Mattias Ulbrich and Benjamin Wei{\ss}},
  title        = {Dynamic Frames in {Java} Dynamic Logic: Formalisation and Proofs},
  number       = {2010-11},
  institution  = {Department of Computer Science, Karlsruhe Institute of Technology},
  year         = {2010}
}