Nadežnost' programmnogo obespečenija analiz krupnomasštabnych razrabotok - Thyer, Thomas A. (Mir, 1981)