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

• Formal Specification for Evolution of Algorithm and Its Properties