Technologické postupy pro elektroiskrové zpevňování ostří nástrojů (Práce, 1953)