Refine introduction, background, reproducibility, and implementation chapters; enhance clarity by emphasizing key challenges and updating references

thesis/refs.bib

@@ -193,33 +193,27 @@ series = {OzCHI '15}
   doi = {10.1145/3610978.3640741}
 }
 
-@misc{React2024,
-  title={{React: A JavaScript library for building user interfaces}},
-  author={Meta},
-  year={2024},
-  url={https://react.dev}
+@InProceedings{TypeScript2014,
+author="Bierman, Gavin
+and Abadi, Mart{\'i}n
+and Torgersen, Mads",
+editor="Jones, Richard",
+title="Understanding TypeScript",
+booktitle="ECOOP 2014 -- Object-Oriented Programming",
+year="2014",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="257--281",
+abstract="TypeScript is an extension of JavaScript intended to enable easier development of large-scale JavaScript applications. While every JavaScript program is a TypeScript program, TypeScript offers a module system, classes, interfaces, and a rich gradual type system. The intention is that TypeScript provides a smooth transition for JavaScript programmers---well-established JavaScript programming idioms are supported without any major rewriting or annotations. One interesting consequence is that the TypeScript type system is not statically sound by design. The goal of this paper is to capture the essence of TypeScript by giving a precise definition of this type system on a core set of constructs of the language. Our main contribution, beyond the familiar advantages of a robust, mathematical formalization, is a refactoring into a safe inner fragment and an additional layer of unsafe rules.",
+isbn="978-3-662-44202-9"
 }
 
-@misc{Nextjs2024,
-  title={{Next.js: The React Framework for the Web}},
-  author={Vercel},
-  year={2024},
-  url={https://nextjs.org}
+@article{Brooke1996,
+author = {Brooke, John},
+year = {1995},
+month = {11},
+pages = {},
+title = {SUS: A quick and dirty usability scale},
+volume = {189},
+journal = {Usability Eval. Ind.}
 }
-
-@misc{TypeScript2024,
-  title={{TypeScript: Typed JavaScript at Any Scale}},
-  author={{Microsoft and the TypeScript Community}},
-  year={2024},
-  url={https://www.typescriptlang.org}
-}
-
-@misc{tRPC2024,
-  title={{tRPC: Move fast and break nothing. End-to-end typesafe APIs made easy}},
-  author={Alex Johansson and community contributors},
-  year={2024},
-  url={https://trpc.io}
-}
-
-
-