Algorithmic Games: From a new form of specification to a new type of results