TY - BOOK AU - Engeler,Erwin TI - Symposium on semantics of algorithmic languages T2 - Lecture notes in mathematics SN - 0387053778 (New York) PY - 1971/// CY - Berlin, New York PB - Springer-Verlag KW - Programming languages (Electronic computers) KW - Formal languages KW - Computer algorithms N1 - "A write-in symposium."; Bibliography: p. [367]-372 ER -