A generic complete dynamic logic for reasoning about purity and effects (0)

by T Mossakowski, L Schröder, S Goncharov
Venue:Fundamental Approaches to Softeware Engineering (FASE 2008), volume 4961 of LNCS