Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial

サンプルスライドに課題が載っていて非常に興味深い。
http://wiki.event-b.org/index.php/Event-B_Language

Bに限らず、形式手法の演習問題集として参考になる。