V. Suvorov, “An abstract-algebraic approach to the construction of computing environments to solve problems in object formulation”, Num. Meth. Prog., vol. 11, no. 24, pp. 50–61, May 2010.