User manual tektronix : PS280 & PS283 DC power supplies 070835502 (Tektronix Inc., 1991)