The top documents tagged [metasystem formalization]