ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings Bowen Jonathan P. Heftet / 1998 / Engelsk
