1 files changed, 11 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index 6555f23..7b74626 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -1,3 +1,14 @@
+@Article{McNaughton1966,
+  title={Testing and generating infinite sequences by a finite automaton},
+  author={McNaughton, Robert},
+  journal={Information and control},
+  volume={9},
+  number={5},
+  pages={521--530},
+  year={1966},
+  publisher={Elsevier}
+}
+
 @InProceedings{Maler1990,
   title={Tight bounds on the complexity of cascaded decomposition of automata},
   author={Maler, Oded and Pnueli, Amir},