The standard reference for the theory of such invariants is [1]}, though we also point to the recent survey [2]}, which treats them in the context of computability theory, where they are called Weihrauch problems.
