Software certification - Neumann, Bernard de (Elsevier Applied Science, 1989)