Foundations of XML processing : the tree-automata approach - Hosoya, Haruo, 1972- (Cambridge University Press, 2011)