An operational and axiomatic semantics for non-determinism and sequence points in C.
Merge pull request #10 from yallop/c-non-determinism

An operational and axiomatic semantics for non-determinism and sequence points in C.