沃尔特·古特曼 惰性和严格计算的无限执行。 （英语） Zbl 1329.68112号 J.日志。阿尔盖布。方法计划。 84，第3期，326-340（2015）.MSC公司：2005年第68季度 68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，J.Log（J·洛格）。阿尔盖布。方法计划。84，第3号，326--340（2015；Zbl 1329.68112） 全文： 内政部
沃尔特·古特曼 统一懒惰和严格的计算。 （英语） Zbl 1330.68074号 Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日，第13届国际会议，RAMiCS 2012，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，17-32（2012）。MSC公司：2005年第68季度 68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，莱克特。注释计算。科学。7560，17-32（2012；Zbl 1330.68074） 全文： 内政部