The top documents tagged [formal approach recommendation]