Повышение качества программ на основе автоматизированных методов. - Саркисян А.А (Радио и связь, 1990)