1996. Algorithm of construction of the type and its realization in the language W. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 88, (Dec. 1996), 459–483.