The GIF is explained in detail in The Graph Interface (GIF) (the Section called The Graph Interface (GIF) in Chapter 7).