Coolant technology of water cooled reactors : an overview (International Atomic Energy Agency, 1993)