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