• D. Sannella. M Fourman, H. Peng and P. Wadler
• Introduction to Computation: Haskell, Logic and Automata
• Undergraduate Topics in Computer Science, Springer (2021)
• Print ISBN: 978-3-030-76907-9
• Electronic ISBN: 978-3-030-76908-6

• Publisher's webpage and flyer
• Amazon's webpage (US, UK)
• All of the Haskell code, organised by chapter
• Links to Haskell online resources
• Errata