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