TL/I - An intermediate language for Turing machines. "Examples of Formal
Semantics", D. Knuth in Symp on Semantics of Algorithmic Languages, E.
Engeler ed, LNM 188, Springer 1971, pp.212-235.
TL/I Programming Language
http://www.programming-languages.co.uk/tl-i.html
Large list of computer programming languages arranged alphabetically, with explanations.