Phase-locked loop circuit design - Wolaver, Dan H. (Prentice-Hall, 1991)