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