Git. Software Engineering with B. Software Engineering with B was published by Addison Wesley Longman in July 1996, ISBN 0-201-40356-0.
The summary of contents is as follows: Chapter 1 introduces the ideas of software engineering supported by the B-Method, particularly the notion of a layered structure for software. Chapter 2 introduces the idea of a machine as a specification for software, discusses the nature of the proof obligations for consistency of a machine, and describes ways of using machines in various layers of a software structure. It shows how a program can be regarded as a generalized substitution.
Chapter 3 shows how a component-layer machine is built, and introduces more substitutions for machines. The Art of Unix Programming. AIX, AS/400, DB/2, OS/2, System/360, MVS, VM/CMS, and IBM PC are trademarks of IBM.
Alpha, DEC, VAX, HP-UX, PDP, TOPS-10, TOPS-20, VMS, and VT-100 are trademarks of Compaq. Amiga and AmigaOS are trademarks of Amiga, Inc. Apple, Macintosh, MacOS, Newton, OpenDoc, and OpenStep are trademarks of Apple Computers, Inc. Pro Git.