П. К. Вытовтов и Е. М. Марков, «Разработка программного продукта для проведения статического анализа кода программного обеспечения», Вестн. Ижевск. гос. тех. унив., т. 18, вып. 3, сс. 98–101, сен. 2015.