Методы синтеза систем в целевых программах - Червинский Р.А (Мецниереба, 1987)