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