Safe enclosure of shut down nuclear installations (IAEA Technical Reports Series ;, 1995)