 Fact, Fiction, and Forecast by Nelson Goodman

Primary book scan. Chapter III, section 4, pp. 72–80 in the fourth edition, defines grue through examination before a cutoff; chapter IV develops predicate entrenchment and projectibility. The original definition does not require an already examined green object to change colour at the cutoff.