Z language / Linguagem Z

Interesting link about z language: / Um link interessante sobre a linguagem Z:

http://www.uni-koblenz.de/~beckert/Lehre/Spezifikation/11Z.pdf

 

Download:

http://www.uni-koblenz.de/~winter/Lehre/SS01/ZEves/ZEves.html