author : Mark Norris

Short works

• Using Z to Rigorously Review a Specification of a Network Management System. 1995. (In ZUM '95 )