Title: The B-Book
Subjects: Computer science, B method (Computer science)