SPEC grammar and parse-tree descriptions