The Z Notation: A Reference Manual

GPTKB entity