Logičeskoje upravlenije diskretnymi processami Modeli, analiz, sintez (Mašinostrojenije, 1987)