@收款{zbMATH00785043，作者={伯杰、乌尔里希和施维希滕贝格、赫尔穆特}，标题={通过证明转换进行程序开发}，BookTitle={证明与计算。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录}，国际标准图书编号={3-540-58581-8}，页码={1--45}，年份={1995}，出版商={柏林：Springer-Verlag}，语言={英语}，关键词={03B35,68T15,03B60.68N17}，zbMATH={785043}，Zbl={0856.03010}}