Structure and Interpretation of Computer Programs

This classic programming book teaches concurrent programming, functional programming, lazy evaluation, and nondeterministic programming.