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