Devoted to the investigation of algebraic structure, this book emphazises the algebraic nature of real automation, which appears as a natural three-sorted algebraic structure, that allows for a rich algebraic theory.