尼尔·D·琼斯。;卡斯滕·戈马尔德（Carsten K.Gomard）。;彼得·塞斯托夫特 部分评估和自动程序生成。 （英语） Zbl 0875.68290号 普伦蒂斯·霍尔计算机科学国际系列。海梅尔·亨普斯特德：普伦蒂斯·霍尔国际。十二、 415页（1993年）。 引用于111文件 MSC公司： 68N99型 软件理论 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） PDF格式BibTeX公司 XML格式引用 \textit{N.D.Jones}等人，部分评估和自动程序生成。Hemel Hempstead：普伦蒂斯·霍尔国际（1993；Zbl 0875.68290）