@incollection{BeckertKlebanovSchlager07,
   author        = {Bernhard Beckert and Vladimir Klebanov and Steffen Schlager},
   title         = {Dynamic Logic},
   chapter       = {3},
   part          = {I: Foundations},
   pages         = {69--175},
   editor        = {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
   booktitle     = {Verification of Object-Oriented Software: The {KeY} Approach},
   year          = {2007}, 
   series        = {LNCS 4334},
   publisher     = {Springer-Verlag}
}