Title: Formal Specification and Documentation Using Z
Subjects: Z (Computer program language), System design, Computer software, Development, Software documentation, Z (Langage de programmation), Conception de systèmes, Logiciels, Documentation