[.ca] Formal Specification Using Z (ISBN 0333763270)

Boring title, great book!:
Although the title may put some off, the field of formal specification is actually an interesting and exciting area. This book provides a valuable insight into the use of Z as a formal method language, and allows even a total newcomer (such as I was) to understand the techniques required.. A well written, informative and enjoyable book that uses clear and concise examples to build up the readers skillset... Well worth the money!!