И. В. Логинов, «ФОРМАЛИЗАЦИЯ СПЕЦИФИКАЦИЙ ИТ-УСЛУГ», Вестн. Ижевск. гос. тех. унив., вып. 3, сс. 140–143, сен. 2012.