Semi-discrete error estimates and implementation of a mixed method for the Stefan problemCh. B. Davis and Sh. W. WalkerESAIM: M2AN, 51 6 (2017) 2093-2126DOI: https://doi.org/10.1051/m2an/2017022