Jacques Julliand, Olga Kouchnarenko B 2007: Formal Specification and Development in B - Germany Springer 2006 ISBN: 978-3-540-68761-0 Subjects--Topical Terms: B 2007: Formal Specification and Development in BComputer Science