Review of the automata-theoretic approach to model-checking.
CS1020 Data Structures and Algorithms I Lecture Note #10 Recursion The mirrors.