- Slides by Wlodek Drabent: Programming Theory (2009)
- Slides by Graham Hutton: Programming in Haskell (2007)
- Slides by Jaakko Järvi: Programming Languages - CPSC 604 (2009)
- Slides by Nielson and Nielson: Semantics with Applications (1999)
- Slides by Martin Odersky (Benjamin Pierce): Foundations of Software (2008)
- Slides by Wolfgang Schreiner: Formal Models for Parallel and Distributed Systems (2009)

- Graham Hutton: Programming in Haskell, Cambridge University Press, 2007; also refer to additional material on the author's web site for the book.
- Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction, Wiley, 1992; Revised version of 1999 available online [.pdf].
- Benjamin C. Pierce: Types and Programming Languages, MIT Press, 2002; also refer to additional material on the author's web site for the book.

- Different courses on logic programming: course material by Alan Frisch, Daniel Kudenko, and others: Logic Programming and Artificial Intelligence ; Frank Pfenning: Logic Programming; CLIP team et al. in Madrid: Computational Logic; use a course like this and a book like the one mentioned on the course site if you are not yet up to speed with logic programming (assumed by this course).
- Course material by Wolfgang Schreiner: Formal Models for Parallel and Distributed Systems; we are only sketching the area of process calculi; use this material to learn more about this topic if you like.
- Course material and book by Nielson et al.: Principles of Program Analysis; we are only sketching the area of program analysis; use this material to learn more about this topic if you like.