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