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)