Turingol - D. Knuth. 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).
Comments, Experience, Additions
Next Language: TUTOR