Musayev Muhammadjon Usarovich, Abduganiyeva Yulduzoy Shahabidinovna, and Miratoyev Zohidjon Mirvaliyevich, “TOOLS FOR FORMALIZED DESCRIPTION AND TRANSFORMATION OF ALGORITHMS AIMED AT SYNTHESIZING DEVICES OF CONTROL COMPUTING SYSTEMS”, IEJRD - International Multidisciplinary Journal, vol. 5, no. 6, p. 8, Sep. 2020.