Monad-Independent Dynamic Logic in Has Casl. Schröder, L. and Mossakowski, T. In Proceedings of WADT, pages 425-441, 2002.
Paper bibtex @inproceedings{ dblp4352241,
title = {Monad-Independent Dynamic Logic in Has Casl},
author = {Lutz Schröder and Till Mossakowski},
author_short = {Schröder, L. and Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2002},
key = {dblp4352241},
id = {dblp4352241},
biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02},
url = {http://dx.doi.org/10.1007/978-3-540-40020-2_25},
conference = {WADT},
pages = {425-441},
text = {WADT 2002:425-441},
booktitle = {Proceedings of WADT}
}