 Hidden algebra was studied by Joseph Goguen.It handles features of large software-based systems, including concurrency, distribution, nondeterminism, and local states.It also handled object-oriented features like classes, subclasses (inheritance), attributes, and methods.