The CO-OP Method for Compositional Derivation of Conformance Testers. - Clazien D. Wezeman (PSTV, 1989)

Formal Methods to Assist Conformance Testing. A Case Study. - Clazien D. Wezeman; S. Batley; J. Lynch (FORTE, 1990)

Deriving Tests for Objects Specified in Z. - Elspeth Cusack; Clazien D. Wezeman (Z User Workshop, 1992)

Z for Managed Objects. - Clazien D. Wezeman; Anthony J. Judge (Z User Workshop, 1994)

Analysing Large COBOL Programs: the extraction of reusable modules. - Elizabeth Burd; Malcolm Munro; Clazien D. Wezeman (ICSM, 1996)

Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity. - Elizabeth Burd; Malcolm Munro; Clazien D. Wezeman (WCRE, 1996)