The top documents tagged [structural specication describes]