Nguyễn Duy, V. Thiết Kế Và Xác Minh an Toàn Cho Hệ Thống Liên Khóa Máy Tính Trong đường Sắt. vn 1744650000, 76, 243-257.