Computing Theory (COT)