Source : Free On-Line Dictionary of Computing

Turingol
     
         A {high-level language} for programming {Turing
        Machine}s 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)