Formal Determination of the Nucleation Probabilities in Binary Alloys: A Hyperfinite Approach and Thermodynamic Justification of the Lattice Models. - Krasnyuk, I. B.; Yurchenko, V. M. (Journal of Experimental & Theoretical Physics, 2002)