Goal, approach, results, taxonomy in abstract; spec sections