ZUM '95: The Z Formal Specification Notation - häftad, Engelska, 1995