Information sources on industrial maintenance and repair (UNIDO Guides to information sources ;, 1979)