The Z notation: A reference manual