Obráběcí stroje : vyjma dřevoobráběcích strojů (Oborový číselník výrobků. 512, 1965)