Coolant technology of water cooled reactors International Atomic Energy Agency. (International Atomic Energy Agency, 1992)