[1]
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.