@book{ international1990iaea, title={Gas Cooled Reactor Design and Safety}, series={Technical Reports Series}, number={312}, year={1990}, isbn={92-0-155090-1}, url={http://www.dgdingfa.net/publications/1416/gas-cooled-reactor-design-and-safety}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }