1 files changed, 9 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index e3a11f8..5f9fbcb 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -1,3 +1,12 @@
+@InCollection{Roggenbach2002,
+  title={Determinization of B{\"u}chi-automata},
+  author={Roggenbach, Markus},
+  booktitle={Automata logics, and infinite games},
+  pages={43--60},
+  year={2002},
+  publisher={Springer}
+}
+
 @Article{McNaughton1966,
   title={Testing and generating infinite sequences by a finite automaton},
   author={McNaughton, Robert},