Matematičeskije metody i algoritmy issledovanija avtomatičeskich sistem - Černeckij, Vladimir Il´jič; Diduk, Gennadij Andrejevič; Potapenko, Aleksandr Aleksejevič (Energija, 1970)