Decommissioning techniques for research reactors (Internat. Atomic Energy Agency, 1994)