Sintez diagnostirujemych schem vyčisliteľnych ustrojstv - Gorjaško, Aleksandr Petrovič (Nauka, 1987)