Un davvero splendido corso di "Managed Computation" tenuto nella primavera dell'anno scorso al Politecnico federale di Zurigo da Prof. Robert Stärk per gli studenti iscritti al programma di MSc in Computer Science, è scaricabile da questa pagina.
Nelle più di 500 slide del corso, le specifiche di C# vengono modellate come macchine astratte (ASM). Una gioia leggerlo, abbiate solo pazienza!