Chobanov, I. INTRODUCTION TO AN ALGEBRAIC THEORY OF ARROWS, II. Ann. Sofia Univ. Fac. Math. and Inf. 1991, 82, 63-117.