J. Zashev, “A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 90, pp. 51–75, Dec. 1998.