The top documents tagged [abstraction techniques11]