You've got to have this PLL book for it's broad range of basics no matter what other more specialized PLL books you acquire. I highly recommend this book. Not a text book. Lots of real world issues discussed, such as jitter, pull, purity, false lock, half lock, jitter generation.
My focus has been building phase-locked loops in to integrated circuits. Analog PLLS. Digital PLLs. Clock recovery PLLs. PLLS with equalizers in front. Software PLLS. This is our most-used and favorite PLL reference book, even though it is not an IC book, it is a PC board level book. Whatever the arcane issue regarding PLL function: noise, false lock, phase linearity range, the author of this book comes through with coverage of it.
A prior reviewer states that this book does not contain frequency-domain negative-feedback-loop control theory analysis or treatment of the charge pump. The book does contain such analysis, but quickly moves away from damping factor and natural frequency to parameters that are more useful in PLL design at the board level. The author's examples are at the system level, the board level, and while there is no charge pump, there is a switched-output equivalent.
It is the only PLL book, out of the 6 that I own, that covers the frequency detector and the many different phase detectors types, each typically applied to different classes of problems solved with different classes of PLLs. There are books with more complete coverage on the implementation of digital signal processing DSP-based PLLs, but for a best general reference on PLL theory and operation, irrespective of implementation type/style, this is your book.
For digital PLLs see: 1) 'Phase Locked Loops: Theory, Design, and Applications' by Best for basic digital PLLs (but beware of what appear to me to be sign ificant errors, such as the equation for the basic 2nd-order ideal integrator transfer function), and 2) 'Phase-Locked Loops for Wireless Communications - Digital and Analog Implementations', which reads like a thesis proving that student author can do the math, but with some more advanced topics, and with the mathematics that follows and supports the leading edge commercial implementations.