Topos perspective on the Kochen-Specker theorem: IV. Interval valuations - Butterfield, J; Isham, CJ (INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2002)