ZUM '95: The Z Formal Specification Notation - nidottu, Englanti, 1995