Automata languages and computation
Chapter 7 Graphs, Functions, and Linear Systems. 7.1 Graphing and Functions.
Lambda-Calculus