This is the only edition we have for Formal Specification Using Z (Macmillian Computer Science Series).