Possibly refers to this manual: http://www.panix.com/~rst/turing.pdf