"Deriving Tests for Objects Specified in Z."

Elspeth Cusack, Clazien D. Wezeman (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics