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