Fix chapter 2

appendix/bibliography/bibliography.bib

@@ -254,5 +254,20 @@ @article{uniqueness-logic
 }
 
 
-TO BE ADDED PROBABLY
-- capabilities for uniqueness and borrowing 
+@article{bocchino2013alias,
+  title={Alias control for deterministic parallelism},
+  author={Bocchino Jr, Robert L},
+  journal={Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
+  pages={156--195},
+  year={2013},
+  publisher={Springer}
+}
+
+@inproceedings{eilers2024verification,
+  title={Verification Algorithms for Automated Separation Logic Verifiers},
+  author={Eilers, Marco and Schwerhoff, Malte and M{\"u}ller, Peter},
+  booktitle={International Conference on Computer Aided Verification},
+  pages={362--386},
+  year={2024},
+  organization={Springer}
+}