米歇尔·比多特；玛丽亚·维多利亚·森加勒；罗尔夫·亨尼克 结构化规范的证明系统及其改进。 （英语） Zbl 0948.68118号 Astesiano，E.（编辑）等人，《系统规范的代数基础》。柏林：斯普林格。IFIP现状报告。385-433 (1999). 审核人：J.Loeckx（科伦） MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人，in：系统规范的代数基础。柏林：斯普林格。385--433（1999；Zbl 0948.68118）
罗尔夫·亨尼克 代数实现证明的半算法。 （英语） Zbl 0758.68048号 西奥。计算。科学。 104，第1期，53-87（1992）. 审核人：R.亨尼克 MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{R.Hennicker}，Theor。计算。科学。104，编号1，53-87（1992；兹bl 0758.68048） 全文： 内政部
罗尔夫·亨尼克 上下文归纳法：行为抽象和代数实现的证明原则。 （英语） Zbl 0739.68060号 正式Asp。计算。 3，第4期，326-345（1991）. 审核人：G.格里加斯（维尔纽斯） MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hennicker｝，正式Asp。计算。3，编号4，326--345（1991；Zbl 0739.68060） 全文： 内政部
罗尔夫·亨尼克；马丁·威尔辛 观测规范：Birkhoff-theorem。 （英语） Zbl 0584.68039号 数据类型规范的最新趋势，第三届抽象数据类型理论和应用研讨会，不来梅/德国。1984年，Inf.-Fachber。116, 119-135 (1985). 审核人：V.卡尔马图亚努 MSC公司：68第05页 PDF格式BibTeX公司 XML格式