Formal Specification and Documentation Using Z | lit.salon