Solidification of a binary alloy: Finite-element, single-domain simulation and new benchmark solutions. - Michael Le Bars; M. Grae Worster (J. Comput. Phys., 2006)