Sintez diagnostirujemych sohem vyčislitel´nych ustrojstv - Gorjaško, Aleksandr Petrovič (Nauka, 1987)