R. Wilensky, Planning and Understanding: A Computational Approach to Human Reasoning. - Daniel Berlin (Artif. Intell., 1984)

Wave Propagation and Deep Propagation for Pointer Analysis. - Fernando Magno Quintão Pereira; Daniel Berlin (CGO, 2009)