The Z notation (pronounced "zed"), like many formal notations and formal methods, is more popular in Europe than in the US. Here are some resources for learning and applying Z:
