Added "The Z Notation: A Reference Manual, Second Edition"