Slides: pdf

• Watch this lecture: http://slideshot.epfl.ch/play/suri_moore
• Watch this lecture:
  • DOI link to paper: http://dx.doi.org/10.1145/1925844.1926423
  • (for the video, click the Source Materials tab, or here)
• Obtain Calculus of computation textbook

Some other nice material is available:

• Automata and Logic