Phase locked loops - Encinas, J. B. (Chapman & Hall, 1993)