Spice 3 version 3e user's manual - Johnson, B. (University of California, 1990)