Text this: ZUM '97, the Z formal specification notation :