Hồ, V. H., Nguyễn, H. N., & Đoàn, V. B. (2004). Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực. H.: ĐHQG.
Chicago Style CitationHồ, Văn Hương, Hữu Ngự Nguyễn, and Văn Ban Đoàn. Đặc Tả, Kiểm Chứng Hình Thức Và ứng Dụng Trong Cơ Sở Dữ Liệu Thời Gian Thực. H.: ĐHQG, 2004.
Trích dẫn MLAHồ, Văn Hương, Hữu Ngự Nguyễn, and Văn Ban Đoàn. Đặc Tả, Kiểm Chứng Hình Thức Và ứng Dụng Trong Cơ Sở Dữ Liệu Thời Gian Thực. H.: ĐHQG, 2004.
Cảnh báo! Những trích dẫn này có thể không chính xác 100%.