(2017)

I was hoping it might include a compiler that converts code from a higher level language into the language of the Turing Machine, but sadly that doesn't seem to be the case. That means the example programs are all hand written, though, which is quite impressive.