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