The top documents tagged [rigorous specification]