I strongly recommend that you get and read "The Designer's Guide to SPICE & SPECTRE" by Kenneth S. Kundert. The book covers every topic in which you are interested, and in detail. It will do more for you than any other single resource. (It certainly helped me.)
In Chapter 2, on DC Analysis, he immediately dives into the problem in 2.2 DC Analysis Theory and then, 2.2.1 Solving Non-Linear Equations, and then 2.2.2 Convergence Criteria, and then followed by 2.2.3 Convergence, where he starts out by writing, "Failure of circuit simulators to converge is a serious problem. One large electronics company estimated that their circuit designers spent an average of two hours a day trying to cajole their simulators into converging."
The author also discusses a key difference between SPECTRE and SPICE. SPECTRE uses KCL to determine convergence. The problem with this is that tiny parasitics (such as \$1\:\mu\Omega\$) can leave computations requiring better than an absolute voltage precision of \$10^{-18}\$ in order to converge and, often, this means that KCL is never satisfied in SPECTRE and it just won't converge. In contrast, SPICE decided not to use KCL as a convergence requirement. But as a result of that decision, SPICE can and does falsely converge where it should not.
You'll also learn why it is that MOSFETs capacitance models in SPICE are not and cannot ever be made to actually model a MOSFET, properly. Charge conservation is vital with MOSFETs. But Meyer capacitances are incomplete and inconsistent. So there cannot ever be a charge function, when differentiated, that gives Meyer capacitances. The mapping doesn't exist. So it isn't mapped and people live with the problems in SPICE. (SPECTRE can be made to do it more readily, but then again it may not converge, either.)
As I say here, you really need this first book.
Also, go and get the primary document, "SPICE2: A Computer Program to Simulate Semiconductor Circuits" by Laurence W. Nagel, directly from Berkeley. This one is entirely free. Just click on the PDF link at that site. It's probably an essential base -- everyone knows about it, refers to it, and it is a primary resource by one of the primary people involved in developing SPICE. (The first book mentioned above provides the overall perspective you need, and is an essential read that doesn't lose sight of the necessary details, before diving deep into SPICE2.)
Finally, go and get "The SPICE Book" by Andrei Vladimirescu. This book is also excellent and will help you a great deal, as well. But I'd place it as the 3rd book to get, if you can only consider two. You really do want to have the first two, for sure. But I think this one is almost just as important.
This third book provides excellent examples of applying KCL nodal equations in preparing circuits for analysis. (Right away, in fact, in the very first chapter on What is SPICE?.) The clarity in these examples were what enabled me to develop the insights that I use today in my own KCL methods, which differ from those found in textbooks.
These three books in particular were the ones that Mike Engelhardt, who is responsible for LTspice from Linear, recommended to me many years ago when I was struggling to learn how SPICE works, inside. And I can assure you that I was not in any way disappointed by his recommendations. I can pass them on with my grateful recommendation.