IntErmEdiatE languagE usEd by thE SpinElEss TaglEss G-machinE (an abstract machinE basEd on graph rEduction) dEsignEd as a targEt for compilation of non-strict functional languagEs. "ThE SpinElEss taglEss G- machinE", S. PEyton JonEs Et al, Fourth Intl Conf Func Prog Langs and Comp Arch pp.184-201, ACM SEpt 1989.