Cursusmateriaal
Hanne Riis Nielson en Flemming Nielson:
Semantics with applications, 1999 (boek, originele PDF, door student gemaakte doorzoekbare PDF)
Bijlage: overzicht van de belangrijkste semantiekregels, 2015 (PDF)
Engelbert Hubbers:
Annotated Programs, een alternatieve notatie voor correctheidsbewijzen (PDF, ZIP met .tex sources ter illustratie voor het maken van bewijsbomen)