Thermodynamic modelling of VLE behaviour at the high purification of R717 refrigerant by high-pressure batch distillation