представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза...