Elspeth Cusack Clazien D. Wezeman Deriving Tests for Objects Specified in Z. 180-195 1992 conf/zum/1992 Z User Workshop db/conf/zum/zum1992.html#CusackW92