The B Language and Method: A Guide to Practical Formal Development

Formal Object-Oriented Development

Agile Model-Based Development Using UML-RSDS

Advanced Systems Design with Java, UML and MDA

Specification In B: An Introduction Using The B Toolkit

Financial Software Engineering