O︠t︡senka nadezhnosti programmnogo obespecheni︠i︡a - Palʹchun, B. P. (Boris Pavlovich) ("Nauka", 1994)