Fluid power technology : pumps, lines, filt (Fluid power technology., 1993)