Semantics Engineering with PLT Redex, by
Matthias Felleisen,
Robby Findler, and
Matthew Flatt.
Page 40, Lemma 3.4 should have -->>n instead of -->>r in the statement of Church-Rosser
Page 67, Lemma 5.1 is incorrectly referred to as "Theorem 5.1"
Page 172, "<M,Ebar>" on the right hand side of the [ceksgc1] rule should be "c"