Electric welding a practical text covering the fundamental principles and applications of the various types of electric arc welding, including the use of power tube rectifiers