“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, Accessed: Feb. 04, 2026. [Online]. Available: https://annual.uni-sofia.bg/index.php/fmi/article/view/400