The top documents tagged [formal abstract model]