Tree-Shifts: The entropy of tree-shifts of finite type - Jung-Chao Ban; Chih-Hung Chang (2015)