Z language is a kind of rather popular at present and used extensive form specifica- tions languages.

• Z语言是目前广泛使用的一种形式化方法语言。