From b8cbb55cca0ed143713c062fd5cdefe266cbe351 Mon Sep 17 00:00:00 2001
From: Aleksey Zubakov <aleks.zubakov@gmail.com>
Date: Sat, 22 Apr 2023 01:16:33 +0300
Subject: [PATCH] Add some more books on haskell

---
 haskell_books.bib | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/haskell_books.bib b/haskell_books.bib
index 9d7358d..b8ad79e 100644
--- a/haskell_books.bib
+++ b/haskell_books.bib
@@ -9,3 +9,23 @@
     language = {english},
     doi = {10.5555/3092752}
 }
+
+@book{computation-intro,
+	author = {Sannella, Donald and Fourman, Michael and Peng, Haoran and Wadler, Philip},
+	title = {{Introduction to Computation: Haskell, Logic and Automata}},
+	journal = {SpringerLink},
+	isbn = {978-3-030-76908-6},
+	publisher = {Springer International Publishing},
+	address = {Cham, Switzerland},
+	language = {english},
+	url = {https://link.springer.com/book/10.1007/978-3-030-76908-6}
+}
+
+@misc{haskell-road-to-logic,
+	title = {{The Haskell Road to Logic, Maths and Programming}},
+	year = {2020},
+	month = may,
+	language = {english},
+	note = {[Online; accessed 22. Apr. 2023]},
+	url = {https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR}
+}