曼弗雷德·布罗伊（编辑）;马丁·威尔辛（编辑） 编程方法。CIP项目论文选集。 （英语） 邮编：0875.00050 计算机科学课堂讲稿544.柏林：斯普林格·弗拉格。十二、 第268页（1991年）。 本卷的文章不会单独编入索引。 引用于2文件 MSC公司： 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 关键词：编程方法;编程;CIP项目 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（编辑）和\textit{M.Wirsing}（编），编程方法。CIP项目精选论文。柏林：Springer-Verlag（1991；Zbl 0875.00050） 全文： 内政部