赫尔曼·格乌弗斯;罗伯·奈德佩尔特 N.G.de Bruijn对数学形式化的贡献。 （英语） Zbl 1359.03003号 印度。数学。，新序列号。 24，第4期，1034-1049（2013）.MSC公司：03-03 03B35型 03B40型 01A70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{R.Nederpelt}，印度。数学。，新序列号。24，第4号，1034--1049（2013；Zbl 1359.03003） 全文： 内政部
赫尔曼·格乌弗斯;罗伯特·克雷伯斯 纽曼典型性算法及其一些扩展的正确性。 （英语） Zbl 1221.03016号 西奥。计算。科学。 412，第28号，3242-3261（2011）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{R.Krebbers}，Theor。计算。科学。412，第28号，3242-3261（2011；Zbl 1221.03016） 全文： 内政部
赫·格弗斯。 校对助理：历史、想法和未来。 （英语） Zbl 1192.68629号 萨达纳 34，第1期，3-25（2009）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}，萨达纳34，第1、3--25号（2009；Zbl 1192.68629） 全文： 内政部 链接
赫尔曼·格乌弗斯 类型理论导论。 （英语） Zbl 1250.68088号 Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲座笔记5520，1-56（2009）。MSC公司：68甲18 03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \文本｛H.Geuvers｝，Lect。注释计算。科学。5520，1-56（2009；Zbl 1250.68088） 全文： 内政部 链接