Logičeskoe upravlenie diskretnymi processmi : MODELI, ANALIZ, SINTEZ - Judickij, Semen Abramovič (Mašinostroenie, Moskva, 1987)