Formulas of partially spatial coherent light and design algorithm for computer-generated holograms.