DC power supply handbook (Hewlett-Packard, 1970)