Zashev, J. 1995. Code evaluation in operative spaces with storage operation. Ann. Sofia Univ. Fac. Math. and Inf. 87, (Dec. 1995), 307–326.