A definition of df sig as trace A(\lambda) in the smoothing spline case may be found as far back as Wahba, JRSSB (1983), p. 1983, p. 139, l. 14, (called `equivalent degrees of freedon' there).