PREDICATIVE PROGRAMMING .2.1984-02-0110 OA AI EEric C. R. Hehner * DOI:10.1145/69610.357990原文链接分享收藏查看原文摘要 En