Recently I wrote this essay/history about difficulties creating provers for Z and creating a Z standard, and the decline in the popularity of Z:

https://jon-jacky.github.io/z/z-history/