Algorithm of Construction of the Type and Its Realization in the Language W. Ann. Sofia Univ. Fac. Math. and Inf. 1996, 88, 459-483.