Using Z to Rigorously Review a Specification of a Network Management System.

Tony Bryant Andy Evans Lesley Semmens Rajko Milovanovic Sinclair Guillaume Stockman Mark Norris Clive Selley Using Z to Rigorously Review a Specification of a Network Management System. 423-433 1995 conf/zum/1995 ZUM db/conf/zum/zum1995.html#BryantESMSNS95