A core calculus of dependency (1999)

by Mart¶n Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
Venue:In POPL '99: Proceedings of 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages