Foundations of JSON Schema
Tree Automata Techniques and Applications