Title: An introduction to Z
Subjects: Z (Computer program language)