Use of Z

Spezifikationsparadigmen 
Notation 
Schemas 
Beispiel