Truong, Anh Hoang and Nguyen, Ngoc Khai  (2015) Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản.  Tạp chí khoa học .