Specifying Pointer Structures by Graph Reduction. volume 3062 (2004)

by Adam Bakewell, Detlef Plump, Colin Runciman