Gas cooled reactor design and safety (IAEA, 1990)