Formal Specification of a Statistical Sampling Methode for Decision Tree Induction - Raileanu, Laura Elena; Stoffel, Kilian (My University, 2001)