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