Formal Descriptions of Developing Systems by James Nation