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} +}