Manual on quality assurance for computer software related to the safety of nuclear power plants (International Atomic Energy Agency, 1988)