Книга посвящена вопросам использования методов теории графов для исследования структуры сложных программ, определения их параметров, верификации, организации хранения и поиска информации, распределения памяти и для решения других вопросов, возникающих в системном программировании и смежных областях. Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Наука").