Andreas Fett

• ZUM '98 : the Z Formal Specification Notation