Bernd I. Dahn: On Test Classes for Universal Theories. CSL 1989: 90-97