Formal Descriptions of Developing Systems: 121