Vladimirescu, Andrei. The SPICE Book. John Wiley & Sons, 1994.

Gives overview equations for MOSFET device simulations which are probably sufficient for most purposes in Section 3.5, and COMPLETE mathematical descriptions of the SPICE MOSFET implementation in Appendix A.3. Not for the weak.