Tuấn, Hoàng. " VỀ MỘT PHƯƠNG PHÁP CHỨNG MINH THUẬT TOÁN WARSHALL" JBIS [Online], (26 November 2014)