Huvudgrupp 1

• Abrial, Jean-Raymond, The B-book, Cambridge University Press, 2005 (Reference literature. This is the definitive description of B by its inventor.)
• Schneider, Steve, The B-method: An Introduction, Palgrave, 2001 (This is the textbook of the course.)