@MASTERSTHESIS{Platzer_2004b,
 author = {Platzer, Andr\'e},
 title  = {An Object-oriented Dynamic Logic with Updates},
 school = {University of Karlsruhe, Department of Computer Science. Institute
   for Logic, Complexity and Deduction Systems},
 year = {2004},
 month = {September}
 note = {\url{http://i12www.ira.uka.de/%7Ekey/doc/2004/odlMasterThesis.pdf}}
}