@article{pub4479,
author = {
Mossakowski, Till
and
Schröder, Lutz
and
Goncharov, Sergey
},
title = {A Generic Complete Dynamic Logic for Reasoning about Purity and Effects},
year = {2010},
month = {5},
volume = {22},
number = {3-4},
pages = {363--384},
journal = {Formal Aspects of Computing (FAC)},
publisher = {Springer}
}