@book{Hutton2016Sep,
    author = {Hutton, Graham},
    title = {{Programming in Haskell}},
    journal = {Guide books},
    year = {2016},
    month = sep,
    publisher = {Cambridge University Press},
    address = {Cambridge, England, UK},
    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}
}

@book{haskell-in-depth,
	author = {Bragilevsky, Vitaly},
	title = {{Haskell in Depth}},
	journal = {O{'}Reilly Online Learning},
	year = {2021},
	month = jun,
	isbn = {978-1-61729540-9},
	publisher = {Manning Publications},
	language = {english},
	url = {https://www.oreilly.com/library/view/haskell-in-depth/9781617295409}
}
