The top documents tagged [proper recursive specification]