@book{
  internationaliaea,
  title={IAEA Publications on Gas Cooled Reactors},
  series={Non-serial Publications},
  year={},
  url={https://www.iaea.org/publications/6744/iaea-publications-on-gas-cooled-reactors},
  publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
  address={Vienna}
}