Authors: Sergienko, IV Parasyuk, IN Provotar, AI

Citation: Iv. Sergienko et al., Using categorical methods in computer science, CYB SYS AN, 36(4), 2000, pp. 475-482

Authors: Sergienko, IV Parasyuk, IN Provotar, AI

Citation: Iv. Sergienko et al., Formal methods in computer technologies, CYB SYS AN, 34(4), 1998, pp. 609-615