Hans-Martin Hörcher Improving Software Tests Using Z Specifications. 152-166 1995 conf/zum/1995 ZUM db/conf/zum/zum1995.html#Horcher95