4McDonald J,Anton J.Specware-producing software correct by construction[R].Kestrel Institute Technical Report KES.U.01.3 March 2001.
5Smith D R.Constructing Specification morphisms[J].Journal of Symbolic Computation, Special Issue on Automatic Programming, 1993, 16(5/6).
6Smith D R.Designware:software development by refinement[C]//Proceedings of the Eighth International Conference on Category Theroy and Computer Science Invited Paper,September 1999.
7Blaine Lee,Gilham Li-Mei,Liu Junbo,et al.Planware-Domain-Specific synthesis of high-performance schedulers[C]//Proceedings of the Thir -teenth Automated Software Engineering Conference.Los Alamitos, CA:IEEE Computer Society Press,October 1998.
8Smith D R.Mechanizing the development of software[C]//Broy M. Calculational System Design,Proceedings of the International Summer School Marktoberdorf, NATO ASI Series.Amsterdam:IOS Press, 1999.
9Abrial J R,Lee M K O,Neilson D S.The B-method[C]//4th International Symposium of VDM Europe Proceedings,Volume 2.[S.l.]: Springer-Verlag, 1991.