Title: Program Development by Refinement: Case Studies Using the B Method / Edition 1, Author: Emil Sekerinski
Title: The B Language and Method: A Guide to Practical Formal Development / Edition 1, Author: Kevin Lano