Fett, Andreas books & textbook
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science, 1493)
Bowen, Jonathan P. Fett, Andreas Hinchey, Michael G.
Springer /1998-09-16 Paperback / 440 Pages
isbn-10: 3540650709 / isbn-13: 9783540650706
