@STRING{spv = "Springer"}
@STRING{lncs = "LNCS"}
@STRING{lnai = "LNAI"}

@InCollection{proofConstruction07,
   editor =        {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
   booktitle =         {Verification of Object-Oriented Software: The {KeY} Approach},
   title = {Construction of Proofs},
   author =      {Philipp R{\"u}mmer},
   year =         2007,
   volume = 4334,
   pages = {177--242},
   chapter =      "4",
   series =       lncs,
   publisher =    spv
}