PakCat catalogue record Metal cutting Machine tools By Gavryushin A Bibliographic details PublisherMir Publishers