Introduction to Computation : Haskell, Logic and Automata

MLA

Sannella, Donald, et al. Introduction to Computation : Haskell, Logic and Automata. Cham: Springer International Publishing AG, 2022.

APA

Sannella, D., Fourman, M., Peng, H., & Wadler, P. (2022). Introduction to Computation : Haskell, Logic and Automata. Cham: Springer International Publishing AG.

Chicago

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