Csöndes Tibor; Dibuz Sarolta; Kotnyek Balázs: Test suite reduction in conformance testing. In: Acta cybernetica, (14) 2. pp. 229-238. (1999)