Title: Introducing specification using Z
Subjects: Z (Computer program language)