Abstract DataTypeSpecification intheAFFIRMSystem
暂无分享，去创建一个
[1] Donald I. Good,et al. An interactive program verification system , 1975 .
[2] Warren Teitelman,et al. The interlisp reference manual , 1974 .
[3] J. J. Horning,et al. Report on the programming language Euclid , 1977, SIGP.
[4] James H. Morris,et al. Subgoal induction , 1977, CACM.
[5] W. W. Bledsoe,et al. A Man-Machine Theorem-Proving System , 1973, IJCAI.