Jean-Raymond Abrial (2005):
The B-book - assigning programs to meanings.
Cambridge University Press.
Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
STTT 12(6),
pp. 447–466.
Available at http://dx.doi.org/10.1007/s10009-010-0145-y.
Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds & Cesare Tinelli (2011):
CVC4.
In: CAV,
pp. 171–177.
Available at http://dx.doi.org/10.1007/978-3-642-22110-1_14.
Jens Bendisposto, Michael Leuschel, O. Ligot & Mireille Samia (2008):
La validation de modèles Event-B avec le plug-in ProB pour RODIN.
Technique et Science Informatiques 27(8),
pp. 1065–1084.
Available at http://dx.doi.org/10.3166/tsi.27.1065-1084.
Olivier Ligot, Jens Bendisposto & Michael Leuschel (2007):
Debugging Event-B Models using the ProB Disprover Plug-in.
Proceedings AFADL'07.
Valério G. Medeiros Jr. & David Déharbe (2012):
Experience in Modeling a Microcontroller Instruction Set Using B.
In: Brazilian Symposium on Formal Methods.
SBMF,
Natal - RN.