The stated aim of this book is to contribute to the wider use of formal methods in the specification and design of computer systems. VDM was developed in an industrial environment and has seen significant use in England. Attention is focused on formal specification and verified design.