A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.

Jean-Raymond Abrial Dominique Cansell Dominique Méry A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. 215-227 2003 14 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s001650300002 db/journals/fac/fac14.html#AbrialCM03