Models of sharing graphs a categorical semantics of let and letrec - Hasegawa, Masahito (Springer, 1999)