Knuth, D. "Examples of Formal Semantics", Symposium on Semantics of Algorithmic Languages, E. Engeler ed, LNM 188, Springer 1971, pp212-235
(1971)
Languages mentioned
TL/I
{1971}