Effect of material of post-cooling pipes on temperature and thermal stress in mass concrete