R.伯哈默。;H.齐勒。 确定性和非确定性程序的关系代数语义。 (英语) Zbl 0596.68019号 西奥。计算。科学。 43, 123-147 (1986).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{H.Zierer},Theor。计算。科学。43、123——147(1986年;Zbl 0596.68019) 全文: 内政部
鲁道夫·伯哈默 Zur formalen Entwicklung von graphentheoretischen算法durch变换。 (德语) 兹比尔0578.68015 慕尼黑理工大学数学与信息学院。《美国法典》第150卷(1984年)。 审核人:J.埃伯特 MSC公司:第68季度第60季度 68号01 68兰特 PDF格式BibTeX公司 XML格式