Ask HN: What are the best books to self study models of computation?

Need an introductory text first. Would like it to cover all or few topics from each category.

Sequential models

* Finite state machines * Pushdown automata * Turing Machine

Functional models

* Lambda calculus * Recursive functions * Combinatory logic * Cellular automaton * Abstract rewriting systems

Concurrent models

* Kahn process networks * Petri nets * Synchronous Data Flow * Interaction nets * Actor model