High integrity software standards and guidelines - Wallace, Dolores R. (NIST special publication. Computer systems technology, 1992)