+ file = {chp%3A10.1007%2F978-3-319-15940-9_5.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/ZSDSIIT7/chp%3A10.1007%2F978-3-319-15940-9_5.pdf:application/pdf}
+}
+
+@book{lijnse_top_2013,
+ address = {S.l.; Nijmegen},
+ title = {{TOP} to the rescue: task-oriented programming for incident response applications},
+ isbn = {978-90-820259-0-3},
+ shorttitle = {{TOP} to the rescue},
+ language = {English},
+ publisher = {s.n.] ; UB Nijmegen [host},
+ author = {Lijnse, Bas},
+ year = {2013},
+ note = {OCLC: 833851220},
+ file = {103931.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf}
+}
+
+@inproceedings{pike_programming_2014,
+ title = {Programming languages for high-assurance autonomous vehicles: extended abstract},
+ isbn = {978-1-4503-2567-7},
+ shorttitle = {Programming languages for high-assurance autonomous vehicles},
+ url = {http://dl.acm.org/citation.cfm?doid=2541568.2541570},
+ doi = {10.1145/2541568.2541570},
+ language = {en},
+ urldate = {2017-05-10},
+ publisher = {ACM Press},
+ author = {Pike, Lee and Hickey, Patrick and Bielman, James and Elliott, Trevor and DuBuisson, Thomas and Launchbury, John},
+ year = {2014},
+ pages = {1--2},
+ file = {pike-plpv14.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf}
+}
+
+@inproceedings{brus_cleanlanguage_1987,
+ title = {Clean—a language for functional graph rewriting},
+ url = {http://link.springer.com/chapter/10.1007/3-540-18317-5_20},
+ urldate = {2017-02-24},
+ booktitle = {Conference on {Functional} {Programming} {Languages} and {Computer} {Architecture}},
+ publisher = {Springer},
+ author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.},
+ year = {1987},
+ pages = {364--384},
+ file = {Clean —\; A language for functional graph rewriting - chp%3A10.1007%2F3-540-18317-5_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/GCEPPRUJ/chp%3A10.1007%2F3-540-18317-5_20.pdf:application/pdf}
+}
+
+@incollection{havelund_practical_2015,
+ address = {Cham},
+ series = {Lecture {Notes} in {Computer} {Science}},
+ title = {Practical {Formal} {Verification} of {Domain}-{Specific} {Language} {Applications}},
+ volume = {9058},
+ isbn = {978-3-319-17523-2 978-3-319-17524-9},
+ url = {http://link.springer.com/10.1007/978-3-319-17524-9},
+ urldate = {2017-05-10},
+ booktitle = {{NASA} {Formal} {Methods}},
+ publisher = {Springer International Publishing},
+ editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev},
+ year = {2015},
+ note = {DOI: 10.1007/978-3-319-17524-9},
+ file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}