Books: Semiconductor device modeling with SPICE (sorted by popularity)