--- /dev/null
+<table>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[<a name="bandali2020">2</a>]
+</td>
+<td class="bibtexitem">
+<a href="https://bndl.org">Amin Bandali</a>.
+ A Comprehensive Study of Declarative Modelling Languages.
+ MMath thesis, University of Waterloo, David R. Cheriton School of
+ Computer Science, July 2020.
+ <a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a> and
+ <a href="https://bndl.org/mmath">https://bndl.org/mmath</a>.
+[ <a href="bandali-bib#bandali2020">bib</a> |
+<a href="http://hdl.handle.net/10012/16059">http</a> |
+<a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a> ]
+
+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[<a name="DBLP:conf/re/AbbassiBDS18">1</a>]
+</td>
+<td class="bibtexitem">
+Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, and José Serna.
+ A comparison of the declarative modelling languages B, Dash, and
+ TLA<sup>+</sup>.
+ In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
+ Sánchez, editors, <em>8th IEEE International Model-Driven
+ Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
+ 20, 2018</em>, pages 11–20. IEEE Computer Society, 2018.
+[ <a href="bandali-bib#DBLP:conf/re/AbbassiBDS18">bib</a> |
+<a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a> |
+<a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a> ]
+
+</td>
+</tr>
+</table>
\ No newline at end of file