N.N.内斐沃达 编程的逻辑方法。 261-289 1979 conf/ershov/1979 现代数学与计算机科学中的算法 db/conf/ershov/ershov 1979.html#Nepevoda79 https://doi.org/10.1007/3-540-11157-3_30