书目详细信息 : Algebraic theory of discrete and hybrid control