Elspeth Cusack Using Z in Communications Engineering. 196-202 1992 conf/zum/1992 Z User Workshop db/conf/zum/zum1992.html#Cusack92