[4]	Amin Bandali. A Comprehensive Study of Declarative Modelling Languages. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, July 2020. http://hdl.handle.net/10012/16059 and https://bndl.org/mmath. [ bib | http | .pdf ]
[3]	Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna. A comparison of the declarative modelling languages B, Dash, and TLA+. In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo Sánchez, editors, 8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August 20, 2018, pages 11–20. IEEE Computer Society, 2018. [ bib | http | .pdf ]
[2]	Amin Bandali, Simon Hudon, and Jonathan S. Ostroff. The magic of specifications and type systems. Presented at the 2017 Lassonde Undergraduate Summer Student Research Conference, York University, Toronto, Canada, August 2017. [ bib | poster ]
[1]	Amin Bandali, Simon Hudon, and Jonathan S. Ostroff. The magic of specifications and type systems. Presented at the Canadian Undergraduate Computer Science Conference 2017, University of Toronto, Canada, June 2017. [ bib | slides ]