Phase locked loops - Encinas, J. B. (Microwave technology series, 1993)