@article{DBLP:journals/scp/BellegardeH94,
 author = {Françoise Bellegarde and
James Hook},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/scp/BellegardeH94.bib},
 doi = {10.1016/0167-6423(94)00022-0},
 journal = {Sci. Comput. Program.},
 number = {2-3},
 pages = {287--311},
 timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
 title = {Substitution: A Formal Methods Case Study Using Monads and Transformations},
 url = {https://doi.org/10.1016/0167-6423(94)00022-0},
 volume = {23},
 year = {1994}
}