A core calculus of dependency (1999)

by M Abadi, A B N Heintze, J G Riecke
Venue:In Proceedings of the 26th ACM Symposium on Principles of Programming Languages