Hans-Ulrich Simon Pattern Matching in Trees and Nets. 227-248 1983 20 Acta Inf. db/journals/acta/acta20.html#Simon83