Minimal Semantics C by Emma Borg