Formal Descriptions of Developing Systems - inbunden, Engelska, 2003