Trinh Cong Duy*; Nguyen Thanh Binh, “Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình”, UD-JST, vol 9, số p.h 94, tr 84–89, tháng 9 2015.