@InProceedings{AhrendtBoerGrabe09,
   author = 	 {Wolfgang Ahrendt and Frank S. de Boer and Immo Grabe},
   title = 	 {Abstract Object Creation in Dynamic Logic -- To Be or Not To Be Created}
   booktitle =	 {FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands},
   pages =	 {612-627},
   year =	 {2009},
   editor =	 {Ana Cavalcanti and Dennis Dams},
   volume =	 {5850},
   series =	 "LNCS",
   publisher =	 "Springer"
}