Тарасов, В. Г.; Трифонов, А. О. Методика декларативного проектирования программного обеспечения: анализ требований к системе. Вестн. Ижевск. гос. тех. унив. 2017, 20, 143-149.