1998. A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 90, (Dec. 1998), 51–75.