A Developing Method of Programs Based on the Proof Theoryof Program Correctness

• 一种基于程序正确性证明理论的程序开发方法