High temperature gas-cooled reactors - Inagaki, Yoshiyuki. (Elsevier,)