The top documents tagged [eabstract machine modelspdasq]