“Algorithm of construction of the type and its realization in the language W” (1996) Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 88, pp. 459–483. Available at: https://annual.uni-sofia.bg/index.php/fmi/article/view/400 (Accessed: 15 December 2025).