Chu Thi Minh Hue; Trinh Thi Nhi; Nguyen Tuan Dat. FORMAL SEMANTIC FOR UCML. jst 2022, 33, 27-33.