ABSTRACT
It might be said that many books on formal methods should really be found in an intellectual nursery: they use the might of mathematics to treat trivial problems from first principles. In this book we have tried to give examples of the use of our mathematics applied to genuine problems in software development. These included a configuration manager for a programming support environment, a storage allocator for an operating system, and a queuing mechanism for a backing store interface.
