Ашраф Абд Эль-Фаттах Мустафа Дарвиш.Расширение предикативных формул линейными неравенствами и списками для спецификации программ : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш, 2006. - 16 с. - Текст : непосредственный.