Phase-locked loops & their application (IEEE Press, 1978)