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