Text this: ZUM '95: The Z formal specification notation :