author : Elspeth Cusack

Short works

• ZEST. 1992. (In Object Orientation in Z )
• Deriving Tests for Objects Specified in Z. 1993. (In 7th Z User Workshop )
• Using Z in Communications Engineering. 1993. (In 7th Z User Workshop )