Design of high temperature engineering test reactor [HTTR]. (Ibaraki-ken : JAERI, 1994)