What computer system is the article about?
Z notation
What does it target?
the clear specification of computer programs
Who created it?
Jean-Raymond Abrial
What did he publish in 1974?
Data Semantics
Where was the notation taught?
University of Grenoble
What book uses this notation?
Méthodes de programmation
When was the book published?
1980
Who helped him create it?
Steve Schuman
WSho else/
Bertrand Meyer
Where was it developed?
Oxford University
Why does it have the name it does?
its use of Zermelo–Fraenkel set theory