IEC 60231E:1977 Supplement E - General principles of nuclear reactor instrumentation - Principles of instrumentation of high temperature indirect cycle gas-cooled power reactors (HTGR)