Russo Jr, Aryldo G and de Sousa, Thiago (2010) Starting B Specifications from Use Cases. [DEPLOY Associate Item] (Unpublished)