1John McCarthy.A Basis for a Mathematical Theory of Computation[ M].Computer Programming and Formal Systems.North-Holland Publishing Company.1963,33-70.
2Robert W.Floyd.Assigning meanings to programs[J].Mathematical Aspects of Computer Science.In Proceedings of Symposium in Applied Mathematics 19.1967,19-32.
3C.A.R.Hoare,An Axiomatic Basis for Computer Programming.Communications of ACM.1969,12(10):576-580.
