Turingol

Donald Knuth

A high-level language for programming Turing machines? Subject of the first construction of a nontrivial attribute grammar.

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