1. Doets H.C. The Haskell road to logic maths and programming. Texts in Computing (2012)
2. https://www.narcis.nl/publication/RecordID/oai:cwi.nl:21777. Accessed 2018 July 5. Doets H.C. The Haskell road to logic maths and programming. Texts in Computing (2012)
3. https://www.narcis.nl/publication/RecordID/oai:cwi.nl:21777. Accessed 2018 July 5.
4. MATH COUNTSComputing, math and the law