A core calculus of dependency (1999)

by M Abadi, A Banerjee, N Heintze, J G Riecke
Venue:POPL '99. Proceedings of the 26th ACM SIGPLANSIGACT on Principles of programming languages