Peaceful uses of nuclear explosions (International Atomic Energy Agency, 1980)