Borodin, M. A. Two-Phase Contact Stefan Problem. Ukr. Mat. Zhurn. 1995, 47 (2), 158–167.