Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.

是目前最为流行的一种形式规格说明语言，但就总体而言，Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。

youdao

Z That was Lit Z, and it did indeed imply every other form of theory, and it was extremely rigorous and interesting, but it wasn't a survey.

这就是文学，那门课极其严格，也非常有趣，但它不是概论。

耶鲁公开课 - 文学理论导论课程节选