Do anyone know what algebra of algorithms is?

Hello, does any one know what is algebra of algorithms or know other algorithms types that are written as math formula?