英格丽德·雷维茨基;Brink,克里斯 程序语义的四个版本的统一。 (英语) Zbl 0910.68137号 正式Asp。计算。 10,第1期,1-29页(1998年).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{I.Rewitzky}和\textit{C.Brink},正式Asp。计算。10,第1号,1--29(1998;Zbl 0910.68137) 全文: 内政部
我·雷维茨基。;布林克,C。 将变压器作为电源操作。 (英语) Zbl 0835.68075号 正式Asp。计算。 7,第2期,169-182(1995).MSC公司:第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Rewitzky}和\textit{C.Brink},正式Asp。计算。7,第2号,169--182(1995;Zbl 0835.68075) 全文: 内政部
克里斯·布林克;卡塔琳娜·布里茨;雷娜特·施密特(Renate A.Schmidt)。 皮尔士代数。 (英语) Zbl 0811.03047号 正式Asp。计算。 6,第3期,339-358(1994). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:03G15年 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Brink}等人,正式Asp。计算。6,第3号,339--358(1994;Zbl 0811.03047) 全文: 内政部