Todorova, M., 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, Dec. 1996, pp. 459-83, https://ftl5.uni-sofia.bg/index.php/fmi/article/view/400.