Strukturno-logičeskie metody issledovanija složnyh sistem s primeneniem EVM - Levin, Vitalij Il'ič (Teorija i metody sistemnogo analiza / Nauka - Moskva., 1987)