@book{ international1985iaea, title={Gas-cooled Reactor Safety and Accident Analysis (Proceedings of a Specialists' Meeting, Oak Ridge, 13-15 May 1985)}, series={TECDOC Series}, number={358}, year={1985}, url={http://www.dgdingfa.net/publications/613/gas-cooled-reactor-safety-and-accident-analysis-proceedings-of-a-specialists-meeting-oak-ridge-13-15-may-1985}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }