https://9dok.net/document/zpnmojx7-an-algebra-for-refactoring-and-feature-oriented-programming.html