The top documents tagged [formalismlarge systems]