Specifying the Specialization Interface