Introduction to Computation : Haskell, Logic and Automata - Sannella, Donald; Fourman, Michael; Peng, Haoran; Wadler, Philip (Cham Springer International Publishing AG, 2022)