1 files changed, 6 insertions, 0 deletions
diff --git a/literature/automatentheorie.bibtex b/literature/automatentheorie.bibtex
new file mode 100644
index 0000000..1b853a5
--- /dev/null
+++ b/literature/automatentheorie.bibtex
@@ -0,0 +1,6 @@
+@book{hofmann2011automatentheorie,
+  title={Automatentheorie und Logik},
+  author={Hofmann, Martin and Lange, Martin},
+  year={2011},
+  publisher={Springer-Verlag}
+}

diff --git a/literature/automatentheorie.bibtex b/literature/automatentheorie.bibtex new file mode 100644 index 0000000..1b853a5 --- /dev/null +++ b/literature/automatentheorie.bibtex
@@ -0,0 +1,6 @@
	1	@book{hofmann2011automatentheorie,
	2	title={Automatentheorie und Logik},
	3	author={Hofmann, Martin and Lange, Martin},
	4	year={2011},
	5	publisher={Springer-Verlag}
	6	}