Методы построения и использования обобщенных множеств достижимостиБушенков, Владимир Алексеевич198254 с.