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