程序规约变换技术在程序设计中的应用

• The Application of Transformation Techniques of Program Specification in Program Design