This article discusses the developing process of theversion sequences of specifications and the formal expressions ofvarious reconstructions including the expansion and revision of theversion at each stage. The author suggests using ECC (Extended Calculusof Construction) to describe the specifications of formal system andusing functional language ML to implement this developing process.