Paper  bibtex   

@inproceedings{ dblp4272506,
  title = {HASCASL: Towards Integrated Specification and Development of Functional Programs},
  author = {Lutz Schröder and Till Mossakowski},
  author_short = {Schröder, L. and Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4272506},
  id = {dblp4272506},
  biburl = {http://www.dblp.org/rec/bibtex/conf/amast/SchroderM02},
  url = {http://dx.doi.org/10.1007/3-540-45719-4_8},
  conference = {AMAST},
  pages = {99-116},
  text = {AMAST 2002:99-116},
  booktitle = {Proceedings of Algebraic Methodology and Software Technology (AMAST)}
}