Software evaluation for certification - principles, practice, and legal liability. - Andrew K. Rae; Philippe Robert; Hans-Ludwig Hausen (McGraw-Hill, 1995)