Objective analysis of frozen bovine semen using CASA and flow cytometry (Mark Spilman)