This cheat sheet is a quick summary of the use of the Z specification language. If you are unfamiliar with Z please see the Introduction to Z.