Add DOIs and ISBNs to Alloy paper references

Author: jacob-hughes

softdev.bib

@@ -1367,6 +1367,8 @@ @book{klabnik18rust
     title = "The {Rust} Programming Language",
     year = 2018,
     month = Jun,
+    isbn = {978-1-59327-828-1},
+    doi = {10.5555/3271463},
     publisher = "No Starch Press",
 }
 
@@ -2148,6 +2150,7 @@ @inproceedings{bacon01concurrent
     booktitle={ECOOP},
     pages={207--235},
     year={2001},
+    doi={10.1007/3-540-45337-7_12},
     month=Jun
 }
 
@@ -2165,6 +2168,7 @@ @book{jones23garbage
     year={2023},
     publisher={Chapman and Hall/CRC},
     isbn={1032218037},
+    doi={10.1201/9781003276142},
     edition="Second",
     month=Jul
 }
@@ -2177,6 +2181,7 @@ @article{boehm88garbage
     number={9},
     pages={807--820},
     year={1988},
+    doi={10.1002/spe.4380180902},
     publisher={Wiley Online Library},
     month=Sep
 }
@@ -2687,6 +2692,7 @@ @inproceedings{coblenz21bronze
     title = "Does the {Bronze} Garbage Collector Make {Rust} Easier to Use? {A} Controlled Experiment",
     booktitle = "ICSE",
     author = "Michael Coblenz and Michelle Mazurek and Michael Hicks",
+    doi = {10.1145/3510003.3510107},
     year = 2022,
     month = May
 }
@@ -2722,6 +2728,7 @@ @inproceedings{boehm03destructors
     author = "Boehm, Hans-J",
     year = 2003,
     month = Jan,
+    doi = {10.1145/604131.604153},
     booktitle = "POPL"
 }
 
@@ -2907,6 +2914,7 @@ @inproceedings{shahriyar14fast
     booktitle = "OOPSLA",
     year = 2014,
     month = Oct,
+    doi = {10.1145/2660193.2660198},
     pages = "121-139"
 }
 
@@ -3314,6 +3322,7 @@ @book{pierce04advanced
   author={Pierce, Benjamin C},
   year={2004},
   publisher={{MIT} press},
+  doi = {10.7551/mitpress/1104.001.0001},
   month = Dec,
 }
 
@@ -3323,6 +3332,7 @@ @book{stroustrup97c++
   edition="Third",
   year={1997},
   month=Jun,
+  isbn={978-0-201-88954-3},
   publisher={Addison-Wesley}
 }
 
@@ -3341,6 +3351,7 @@ @article{yanovski21ghostcell
   booktitle="ICFP",
   volume={5},
   pages={1--30},
+  doi = {10.1145/3473597},
   year={2021},
   month = Aug,
 }
@@ -3387,6 +3398,7 @@ @inproceedings{boehm09garbage
   booktitle={ISMM},
   pages={30--38},
   year={2009},
+  doi = {10.1145/1542431.1542437},
   month = Jun
 }
 
@@ -3431,6 +3443,7 @@ @inproceedings{wang06escape
     author={Wang, Lei and Sun, Xikun},
     booktitle={SAC},
     pages={1419--1423},
+    doi = {10.1145/1141277.1141607},
     year=2006,
     month = Apr
 }