Nguyen, Ngoc Khai and Truong, Anh Hoang (2017) A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. In: SoICT 2017: 8th International Symposium on Information and Communications, December 2017, Nha Trang.