Decommissioning of facilities for mining and milling of radioactive ores and closeout of residues. (Technical reports series (IAEA), 1994)