5 books • 2 series
Woken Leader
Financial Software Engineering (Undergraduate Topics in Computer Science)
Specification In B: An Introduction Using The B Toolkit
Introduction to the B Abstract Machine Notation (The McGraw-Hill international series in software engineering)
Reverse Engineering and Software Maintenance (The McGraw-Hill international series in software engineering)