Ong, C. (2016). Automata, logic and games for the λ-calculus. Springer.
Chicago Style (17th ed.) CitationOng, C. Automata, Logic and Games for the λ-calculus. Springer, 2016.
MLA (9th ed.) CitationOng, C. Automata, Logic and Games for the λ-calculus. Springer, 2016.
Warning: These citations may not always be 100% accurate.