安德烈·鲍尔;克里斯托弗·A·斯通。 RZ：一种使构造性和可计算数学更接近编程实践的工具。 （英语） Zbl 1156.03301号 J.日志。计算。 19，第1期，17-43（2009）.MSC公司：03-04 03层60 65楼03号 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{C.A.Stone}，J.Log。计算。19，第1号，第17-43条（2009；Zbl 1156.03301） 全文： DOI程序 链接
安德烈·鲍尔;克里斯托弗·A·斯通。 RZ：一种使构造性和可计算数学更接近编程实践的工具。 （英语） Zbl 1150.03300号 Cooper，S.Barry（编辑）等人，《现实世界中的计算与逻辑》。第三次欧洲可计算性会议，2007年6月18日至23日，意大利锡耶纳，CiE 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73000-2/pbk）。计算机科学课堂讲稿4497，28-42（2007）。MSC公司：03-04 03层60 65楼03号 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{C.A.Stone}，莱克特。注释计算。科学。4497，28-42（2007；Zbl 1150.03300） 全文： DOI程序