Nadežnosť programmnogo obespečenija - Myers, Glenford J. (Mir, 1980)