TL/I

An intermediate language for Turing machines.

"Examples of Formal Semantics", Donald Knuth in Symposium on Semantics of Algorithmic Languages, E. Engeler ed, LNM 188, Springer-Verlag, 1971, pp.212-235.