@book{ international1998iaea, title={High Temperature Gas Cooled Reactor Technology Development}, series={TECDOC Series}, number={988}, year={1998}, url={http://www.dgdingfa.net/publications/5643/high-temperature-gas-cooled-reactor-technology-development}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }