1 files changed, 16 insertions, 0 deletions
diff --git a/references.bib b/references.bib
new file mode 100644
index 0000000..dc73c13
--- /dev/null
+++ b/references.bib
@@ -0,0 +1,16 @@
+@article{leroy09_formal_verif_realis_compil,
+  author =       {Leroy, Xavier},
+  title =        {Formal Verification of a Realistic Compiler},
+  journal =      {Commun. ACM},
+  volume =       52,
+  number =       7,
+  pages =        {107-115},
+  year =         2009,
+  doi =          {10.1145/1538788.1538814},
+  address =      {New York, NY, USA},
+  issn =         {0001-0782},
+  issue_date =   {July 2009},
+  month =        jul,
+  numpages =     9,
+  publisher =    {ACM},
+}