The top documents tagged [formal system language]