High temperature gas-cooled reactors fromJSME Series in Thermal and Nuclear Power Generation Ser 0 Type: Book