Kohászati elemzések - Mika József, 1897-1975 (Kohászati zsebkönyvek, 1959)