Title: An algebraic approach to mathematical theory of programs