diff --git a/softdev.bib b/softdev.bib
index 59efef1..a620d45 100644
--- a/softdev.bib
+++ b/softdev.bib
@@ -3335,19 +3335,37 @@ @article{yanovski21ghostcell
 }
 
 @inproceedings{cheng20typefreezing,
-    title = "Type freezing: exploiting attribute type monomorphism in tracing {JIT} compilers",
-    author = "Cheng, Lin and Ilbeyi, Berkin and Bolz-Tereick, Carl Friedrich and Batten, Christopher",
-    year = 2020,
-    isbn = {9781450370479},
-    month = Feb,
-    booktitle = "CGO"
+  title = "Type freezing: exploiting attribute type monomorphism in tracing {JIT} compilers",
+  author = "Cheng, Lin and Ilbeyi, Berkin and Bolz-Tereick, Carl Friedrich and Batten, Christopher",
+  year = 2020,
+  isbn = {9781450370479},
+  month = Feb,
+  booktitle = "CGO"
 }
 
 @inproceedings{brunthaler10quickening,
-    title = "Efficient Interpretation using Quickening",
-    author = "Brunthaler, Stefan",
-    year = 2010,
-    month = Oct,
-    doi={10.1145/1869631.1869633},
-    booktitle = {DLS}
+  title = "Efficient Interpretation using Quickening",
+  author = "Brunthaler, Stefan",
+  year = 2010,
+  month = Oct,
+  doi = {10.1145/1869631.1869633},
+  booktitle = {DLS}
+}
+
+@inproceedings{bolz07not,
+  title = {How to not write virtual machines for dynamic languages},
+  author = {Bolz, Carl Friedrich and Rigo, Armin},
+  year = {2007},
+  booktitle = {DLA},
+  month = July
+}
+
+@inproceedings{ancona07rpython,
+  title = {{RPython}: a step towards reconciling dynamically and statically typed {OO} languages},
+  author = {Ancona, Davide and Ancona, Massimo and Cuni, Antonio and Matsakis, Nicholas D.},
+  year = {2007},
+  isbn = {9781595938688},
+  doi = {10.1145/1297081.1297091},
+  booktitle = {DLS},
+  month = Oct
 }