Yeah, that's "the mouse book" in my mind. The tiger book is also a very good compilation of topics, though it leaves things as "exercise for the reader" more often than I would like to.

https://www.goodreads.com/book/show/1933732.Fundamentals_of_...