罗尔夫·哈特维格 U.ber sprachiche Ausdrucksmittel zur syntaktischen Beherrschung der Val quivalenz von Folgen simultaner Wertzuweisungen and indizierte Variablen。 （德语） Zbl 0462.68061号 Elektron公司。通知-维拉布。凯伯内提克 17, 39-60 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 65年第68季度 形式语言和自动机 关键词：赋值语句序列;带下标变量的语言;语法;条件表达式;并列子句 PDF格式BibTeX公司 XML格式引用 \textit{R.Hartwig}，Elektron公司。Informationsverarbeitung Kybernetik 17，39--60（1981；Zbl 0462.68061）