Starting B Specifications from Use Cases. - Thiago C. de Sousa; Aryldo G. Russo (ASM, 2010)

An Approach of Requirements Tracing in Formal Refinement. - Michael Jastram; Stefan Hallerstede; Michael Leuschel; Aryldo G. Russo (VSTTE, 2010)

Modeling in event-b - system and software engineering by Jean-Raymond Abrial. - Aryldo G. Russo (ACM SIGSOFT Softw. Eng. Notes, 2011)