Introducing Specification Using Z: A Practical Case Study Approach (The McGraw-Hill International Series in Software Engineering)