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