Todorova, M. and Birov, D. 1996. Algorithm of construction of the type and its realization in the language W. Ann. Sofia Univ. Fac. Math. and Inf. 88, (Dec. 1996), 459–483.