Title: A study on the formalization of general organizations theory