Nadežnost' programmnogo obespečenija asu - Lipaev, Vladimir Vasil'evič (Energoizdat, Moskva, 1981)