The top documents tagged [specification example]