Strukturno-logičeskije metody issledovanija složnych sistem s primenenijem EVM - Levin, V. I. (Nauka, 1987)