The Free On-line Dictionary of Computing (30 December 2018):

Turingol

    A high-level language for programming Turing
   Machines by Donald Knuth.  It was the subject of the first
   construction of a nontrivial attribute grammar.

   ["Semantics of Context-Free Languages", D. Knuth, Math Sys Thy
   2:127-145 (1975)].

   (1995-10-08)