-@mastersthesis{bandali2020,
- type = {{MMath} thesis},
- author = {Amin Bandali},
- title = {{A Comprehensive Study of Declarative Modelling Languages}},
- school = uwaterloo-cs,
- year = 2020,
- month = {July},
- publisher = "UWSpace",
- url = {http://hdl.handle.net/10012/16059},
- note = {\url{http://hdl.handle.net/10012/16059} and
- \url{https://bndl.org/mmath}},
- pdf = "https://p.bndl.org/bandali-mmath-thesis.pdf"
+@misc{bandali-magic-lassonde-2017,
+ author = {Amin Bandali and
+ Simon Hudon and
+ Jonathan S. Ostroff},
+ title = {The Magic of Specifications and Type Systems},
+ year = 2017,
+ month = {August},
+ howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
+ Student Research Conference, York University,
+ Toronto, Canada},
+ poster = {https://p.bndl.org/eecs4080-poster.pdf}
+}
+
+@misc{bandali-magic-cucsc-2017,
+ author = {Amin Bandali and
+ Simon Hudon and
+ Jonathan S. Ostroff},
+ title = {The Magic of Specifications and Type Systems},
+ year = 2017,
+ month = {June},
+ howpublished = {Presented at the Canadian Undergraduate Computer
+ Science Conference 2017, University of Toronto,
+ Canada},
+ slides = {https://p.bndl.org/cucsc-2017-slides.pdf}