Algebraic Theory of Processes (Foundations of Computing Series)