A Generic Complete Dynamic Logic for Reasoning about Purity and Effects

@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}
}