A core calculus of dependency (1999)

by M Abadi, A Banerjee, N Heintze, J Riecke
Venue:In 26th ACM POPL ’99