Programmable Freezing and Computer Automated Analysis of Bovine Semen