Требования и спецификации в разработке программ: сборник статей; пер. с англ. - Агафонов В. Н. Валерий Николаевич (Математическое обеспечение ЭВМ)