Status of advanced technology and design for water cooled reactors : light water reactors (IAEA-TECDOC, 1988)