Chantal Berline Graph models of lambda-calculus at work, and variations. 185-221 2006 16 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129506005123 db/journals/mscs/mscs16.html#Berline06