The top documents tagged [formal systemssummary]