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