Phase-locked loops & their application - Lindsey, William C. (IEEE Press /New York, 1977)