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