ZUM'97: The Z Formal Specification Notation:

$47.99       (Free Shipping)