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