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