The top documents tagged [hal requirements]