Sue Bentley is the bestselling author of the bestselling young fiction series Magic Kitten, Magic Puppy, Magic Ponies and Magic Bunny. Her books have sold over 2 million copies in the English language. She has met and loved many cats, dogs and horses, and each one has brought a special kind of magic into her life. Sue lives in Northamptonshire.
'With the appearance of The B-Book ... computer scientists, and system developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.' Zentralblatt MATH 'It will act as the reference book for many involved in the application of the B-Method ... The B-Book provides a comprehensive reference for the B approach to specifying, designing and coding software systems.' Jonathan Bowen, Times Higher Education Supplement