Text this: Introduction to formal specification and Z