diff --git a/bibliographies/cs.bib b/bibliographies/cs.bib
new file mode 100644
index 0000000..10f61fa
--- /dev/null
+++ b/bibliographies/cs.bib
@@ -0,0 +1,38 @@
+@inproceedings{myreen2021,
+	title = {A minimalistic verified bootstrapped compiler (proof pearl)},
+	booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
+	year = {2021},
+	month = {jan},
+	pages = {32-45},
+	publisher = {ACM},
+	organization = {ACM},
+	address = {New York, NY, USA},
+	isbn = {9781450382991},
+	doi = {10.1145/3437992.3439915},
+	url = {https://dl.acm.org/doi/10.1145/3437992.3439915},
+	author = {Myreen, Magnus O.}
+}
+
+@online{cakeML,
+    author = {The CakeML Project},
+    title = {The CakeML Project},
+    year = {2013},
+    url = {https://github.com/CakeML/cakeml},
+    urldate = {2021-11-09}
+}
+
+@misc{compCert,
+    author = {INRIA},
+    title = {The CompCert Project},
+    year = {2007},
+    url = {https://compcert.org},
+    urldate = {2021-11-09}
+}
+
+@misc{LLVM,
+    author = {The LLVM Foundation},
+    title = {LLVM},
+    year = {2003},
+    url = {https://llvm.org},
+    urldate = {2021-11-14}
+}