Formal Specification for Evolution of Algorithm and Its Properties

• 算法演化的形式归约及其性质