The Z Programming Language (documentation and examples)