The Formal Model of Data Mining Algorithms for Parallelize Algorithms. - Ivan Kholod; Zaynidin Karshiyev; Andrey Shorov (ACS, 2014)