A core calculus of dependency. Pages 147–160 of: Twenty-sixth ACM symposium on principles of programming languages (1999)

by Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke